$bodyText: #333;
$border: #999;
$headerHover: #f80;

* {
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    box-sizing: border-box;
}

html, button, input, select, textarea {
    font-family: "-apple-system,BlinkMacSystemFont,Segoe UI,Helvetica,Arial,sans-serif,Apple Color Emoji,Segoe UI Emoji";
    line-height: 1.5;
}

div,
table {
    margin: 0;
}

body {
    margin: 0 auto;
    max-width: 960px;
    padding: 10px;
    color: $bodyText;
}

p {
    margin: 1em 0;
}

header {
    margin: 0;
    padding: 0;
    border-bottom: 1px solid $border;
    line-height: 1;
    h1 {
        font-size: 160%;
    }
    h2 {
        font-size: 120%;
    }
}

main {
    padding-bottom: 20px;
}

footer {
    margin: 0;
    padding: 10px 0;
    border-top: 1px solid $border;
    line-height: 1;
    text-align: center
}

article h1 {
    line-height: 2;
    font-size: 160%
}

article h2 {
    line-height: 1.6;
    font-size: 120%
}

article h3,
article h4,
article h5,
article h6 {
    line-height: 1.2;
    font-size: 100%
}

figure {
    margin: 10px 0;
}

figure.right {
    float: right;
}

figure.left {
    float: left;
}

img,figcaption {
    width: 90%;
    margin: 0 auto;
    display: block;
}

figure.half {
    width: 50%;
}

@media (max-width:600px) {
    img,figcaption, figure.half {
        width: 100%;
    }
}

hr {
    border: none;
    border-top: 1px dashed $border;
    color: #fff;
    background-color: #fff;
    height: 1px
}

a, a:hover {
    color: #0071eb;
    word-wrap: break-word;
}

a, a:visited {
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

header a,
footer a,
h1 a,
h2 a,
h3 a,
h4 a,
h5 a,
h6 a,
h6 a {
    text-decoration: none;
    color: $bodyText;
}

header a:hover,
footer a:hover,
h1 a:hover,
h2 a:hover,
h3 a:hover,
h4 a:hover,
h5 a:hover,
h6 a:hover {
    text-decoration: none;
    color: $headerHover;
}

header nav {
    padding: 10px 0;
    text-align: right;
}

header nav a {
    padding-left: 15px;
}

table {
    border-collapse: collapse;
    font-size: .8em;
    margin: 10px auto
}

th,
td {
    border: 1px solid gray;
    padding: 2px 5px
}

code {
    border: 1px dotted $border;
    background-color: #f0f0f0;
    padding: 1px 2px;
    line-height: 200%;
    word-wrap: break-word
}

pre {
    border: 1px solid $border;
    background-color: #f0f0f0;
    padding: 5px;
    overflow: auto
}

/* overriding the one below: if code is highlighted,
   size should remain the same.
*/
div.highlight pre code {
    font-size: 1em;
}
pre code {
    border: 0;
    background: none;
    padding: 0;
    font-size: .8em
}

blockquote {
    margin: 0;
    padding: 0 0 0 20px;
    border-left: solid 5px #ccc;
    font-size: .8em
}

ul.pagination {
    list-style-type: none;
    text-align: center
}

li.page-item {
    display: inline;
    padding-right: 15px
}

svg.permalink {
    color: #666;
    fill: currentColor
}

svg:hover.permalink {
    color: #f00;
    fill: currentColor
}

.title {
    padding: 0;
    margin: 20px 0
}

.meta,
.content {
    padding: 0;
    margin: 10px 0
}

.tag {
    display: inline-block;
    margin-right: 10px;
}

nav#TableOfContents {
    float: right;
    width: 200px;
    overflow: auto;
    margin: 0;
    padding: 0 10px;
    vertical-align: top;
}

nav#TableOfContents:before {
    content: 'Content';
    font-weight: bold;
}

nav#TableOfContents ul {
    margin: 0;
    padding-inline-start: 24px;
}

.content-with-toc {
    width: calc(100% - 220px);
    margin: 0;
}

@media (max-width:600px) {
    nav#TableOfContents {
        float: none;
        width: 100%;
    }

    .content-with-toc {
        width: 100%;
    }
}

.title h1, .title h2 {
    padding: 0
}

.meta div {
    padding: 0
}

.content {
    h1,h2,h3,h4,h5,h6,p {
        padding: 0;
    }
    h1 { margin: 25px 0 0 }
    h2 { margin: 20px 0 0 }
    h3 { margin: 20px 0 0 }
    h4 { margin: 15px 0 0 }
    h5 { margin: 10px 0 0 }
    h6 { margin: 10px 0 0 }
    p { margin: 10px 0 }
}

.article-list li {
    margin-bottom: 0.5em;
}

.article-list li .article-date,
.article-list li .article-title {
    display: inline-block;
}

.article-list li .article-date:after {
    content: ' - ';
}

@media (max-width:600px) {
    .article-list li .article-date,
    .article-date li .article-title {
        display: block;
    }

    .article-list li .article-date:after {
        content: '';
    }
}

@media (prefers-color-scheme: dark) {
    $fg: #ccc;
    $bg: #222;
    $bgBright: #333;
    body {
        color: $fg;
        background-color: $bg;
    }

    header a, header a:visited,
    footer a, footer a:visited,
    h1 a, h1 a:visited, h2 a, h2 a:visited,
    h3 a, h3 a:visited, h4 a, h4 a:visited,
    h5 a, h5 a:visited, h6 a, h6 a:visited {
        color: $fg;
    }

    header a:hover, footer a:hover,
    h1 a:hover, h2 a:hover,
    h3 a:hover, h4 a:hover,
    h5 a:hover, h6 a:hover {
        color: $headerHover;
    }
    a, a:hover {
        color: #007bff;
    }
    code {
        border-color: $bgBright;
        background-color: $bgBright;
        padding: 1px 2px;
        line-height: 200%;
        word-wrap: break-word
    }

    pre {
        background-color: $bgBright;
    }

    hr {
        background-color: $border;
        border: none;
        color: $bg;
        height: 1px;
    }
}

@media print {
    header, nav {
        display: none;
    }
    .content-with-toc {
        width: 100%;
        font-size: 10pt;
        line-height: 1.15;
    }
    article {
        h1, h2, h3, h4, h5, h6 {
            line-height: 1;
        }
    }
    a::after{
      content: "(" attr(href) ")";
    }
}