/* Default theme */
/* Node styling */
.node {
    max-width: min(650px, 100ex);
    margin: 0 auto;
}

.node .node {
    margin: 2em 0ex 2em 0.5ex;
    padding: 1ex 0 1ex 1ex;
    box-shadow: 0px 1px 3px 0 rgba(0,0,0,0.3);
    border-left: 2px solid #2c3e50;
}

.node.collapsed > .contents {
    display: none;
}

.node .node.collapsed > .title::before {
    content: "🮥";
}

.node .node.expanded > .title::before {
    content: "🮦";
}

/* Headers */
h1 {
    font-size: 150%;
}

h1,h2,h3,h4,h5,h6 {
    margin-top: 0;
    color: #2c3e50;
}

h1 > a, h2 > a, h3 > a, h4 > a, h5 > a, h6 > a {
    text-decoration: none;
    color: inherit;
}

h1.title .state {
    font-size: 50%;
    vertical-align: middle;
    /* background-color: rgba(255,255,255,0.3); */
    background-color: rgba(0,0,0,0.1);
    padding: 4px;
    border-radius: 5px;
}

/* Lists */
li .tag {
    font-weight: bold;
}

li .tag::after {
    content: ":: ";
}

/* Code blocks */
pre {
    overflow: auto;
    padding: 0.5ex;
    padding-left: 0.5ex;
    padding-left: 1.5ex;
    background-color: #001622;
    box-shadow: 0px 1px 2px rgba(0, 0, 0, 0.26);
}
pre > code {
    display: block;
    line-height: 1.2em;
    overflow: auto;
}
pre code {
  padding: 0.5ex;
  font-size: medium;
  border: 2px solid #001622;
  background: #073642;
  color: #fff;
}

code {
    padding: 0.25ex;
    margin: 0.25ex;
    border: 1px solid #001622;
}

article.post {
    max-width: min(650px, 100ex);
    margin: 0 auto;
}

/* Dark mode. */
@media (prefers-color-scheme: dark) {
    html {
        background-color: #111;
        color: #fafafe;
    }
    h2 a {
        color: #fafafe;
    }
    a {
        color: #94dcff;
    }
    h1,h2,h3,h4,h5,h6 {
        margin-top: 0;
        color: #f7da4a;
    }
    /* Code blocks */
    pre {
        padding: 0.5ex;
        background-color: inherit;
        box-shadow: none;
    }
    pre code {
        padding: 1ex;
        font-size: medium;
        background: #000;
        color: #fff;
        border: none;
    }

    code {
        padding: 0.25ex;
        margin: 0.25ex;
        border: 1px solid #00000;
    }
}