@media (max-width: 767px) {
    body {
        padding: 15px;
    }
}

html {
    height: 100%;
}

body {
    -ms-text-size-adjust: 100%;
    -webkit-text-size-adjust: 100%;
    line-height: 1.5;
    font-family: -apple-system, BlinkMacSystemFont, Segoe UI, Helvetica, Arial, sans-serif, Apple Color Emoji, Segoe UI Emoji;
    font-size: 16px;
    line-height: 1.5;
    word-wrap: break-word;

    padding: 0 10px;
    margin: 60px auto;
    max-width: 700px;

    --bg: white;
    --text-color: #24292e;
    --code-bg-color: rgba(27, 31, 35, .05);

    background-color: var(--bg);
    color: var(--text-color);

    box-sizing: border-box;
}

body.dark {
    --bg: #0d1117;
    --text-color: #c9d1d9;
    --code-bg-color: rgba(240, 246, 252, 0.15);

    background-color: var(--bg);
    color: var(--text-color);
}

body.dark a {
    color: #58a6ff;
}

/* https://stackoverflow.com/questions/7415872/change-color-of-png-image-via-css?rq=1 */
body.dark #dark-mode-toggle {
    filter: invert(94%) sepia(9%) saturate(261%) hue-rotate(173deg) brightness(89%) contrast(91%);
}

body code {
    padding: .2em .4em;
    margin: 0;
    font-size: 85%;
    background-color: var(--code-bg-color);
    border-radius: 3px;
    font-family: monospace, monospace;
}

body a {
    color: #0366d6;
    text-decoration: none;
    background-color: initial;
}

body hr {
    height: 0;
    overflow: hidden;
    background: transparent;
    border: 0;
    border-bottom: 1px solid #dfe2e5;
}

body li+li {
    margin-top: .25em;
}

.header {
    display: flex;
    flex-direction: row;
    justify-content: space-between;
    margin-right: auto;
    align-items: center;
}