/* Default theme */
html, body {
    margin: 0;
    padding: 0;
}

/* 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.25ex;
    box-shadow: 0px 2px 4px 2px rgba(0, 0, 0, 0.26);
    border-radius: 2px;
}
pre > code {
    display: block;
    line-height: 1.2em;
    overflow: auto;
}
pre code {
  padding: 0.5ex;
  font-size: medium;
  background: #fff;
  color: #000;
  border: none;
  font-size: 85%;
}

code {
    padding: 0.25ex 0.5ex;
    margin: 0.25ex;
    background: #eee;
    color: #600;
    font-family: Menlo, Monaco, "Courier New", monospace;
    font-size: 85%;
}

.content {
    margin: 1ex;
}

article.post {
    max-width: min(650px, 100ex);
    margin: 0 auto;
}
/* Header */
.site-header {
    background-color: #F7F7FF;
    border-bottom: rgba(0,0,0,0.1) 1px solid;
    text-align: center;
    padding: 1ex;
}
.site-header h1 {
    margin-top: 0;
    font-size: 200%;
}
.site-header .site-links .fancy-link {
    border-right: 1px solid #000;
    padding-left: 0.75ex;
}
.site-header .site-links .fancy-link:last-child {
    border: none;
}


/* 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;
    }
    /* Header */
    .site-header {
        background-color: #303330;
        border-bottom: rgba(0,0,0,0.1) 1px solid;
    }
    .site-header h1 {
        color: #fff;
    }
    .site-header .site-links .fancy-link {
        border-right: 1px solid #fff;
    }

    /* Code blocks */
    pre {
        padding: 0.5ex;
        background-color: inherit;
        box-shadow: none;
    }
    pre code {
        padding: 1ex;
        font-size: medium;
        border: none;
        background: #000;
        color: #fff;
    }

    code {
        background: #262826;
        color: #FFF;
        font-family: Menlo, Monaco, "Courier New", monospace;
        font-size: 85%;
    }
}