@charset 'UTF-8'; 

/*
 * These are the colors and settings for light mode, and are the default 
 * settings for the website. Please refer to theme.js for information about 
 * switching between light/dark modes.
 */
:root {
    --page-color: white;
    --text-color: black;
    --link-color: blue;
    --link-hover-color: #dc15eb;
    --link-hover-background-color: #f9f5d7;
    --secondary-page-color: #f0f0f0;
    --secondary-text-color: #333333;
    --secondary-hover-color: black;
    --notice-color: #fffca3;
    --accent-color: #cccccc;
    --header-back: #e8e8e8;
    --section-link-color: #bbbbbb;
    --section-nav-hover-color: #999999;
    --footer-link-background-color: #dddddd;
    --nav-link-background-color: #ebdbb2;
    --selection-color: #f9f5d7;
    --selection-foreground-color: #000000;
    --heading-link-color:#333333;
    --heading-link-background-color: #f0f0f0;
    --heading-link-background-hover: #cccccc;
}

/*
 * These are the colors and settings for dark mode. Please refer to theme.js for
 * information about switching between light/dark modes.
 */
[data-theme="dark"] {
    --page-color: #222329;
    --text-color: #f0f0f0;
    --link-color: #cc89cb;
    --link-hover-color: #4ac2ed;
    --link-hover-background-color: #333333;
    --secondary-page-color: #363045;
    --secondary-text-color: #cccccc;
    --secondary-hover-color: white;
    --notice-color: #fffca3;
    --accent-color: #555555;
    --header-back: #2b2e3d;
    --section-link-color: #6e526d;
    --section-nav-hover-color: #966594;
    --footer-link-background-color: #3a324c;
    --nav-link-background-color: #3a324c;
    --selection-color: #893265;
    --selection-foreground-color: #f0f0f0;
    --heading-link-color:#f0f0f0;
    --heading-link-background-color: #342e39;
    --heading-link-background-hover: #453f4c;
}

* {
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    box-sizing: border-box;
    margin-top: 0;
}

::selection {
    background-color: var(--selection-color);
    color: var(--selection-foreground-color);
}

html {
    font-size: 100%;
}

body {
    margin: 0;
    padding: 0;
    font-family: sans-serif;
    font-weight: 400;
    background-color: var(--page-color);
    color: var(--text-color);
    font-size: 1.3rem;
}

main {
    margin-top: 0.5rem;
    margin-bottom: 0.5rem;
    padding: 0.5rem;
    line-height: 1.5;
}

/*
 * === Sizing and Organization ===
 */

div#wrapper {
    max-width: 100%;
    margin-left: auto;
    margin-right: auto;
}

div#footer-wrapper {
    max-width: 100%;
    margin-left: auto;
    margin-right: auto;
}

.content-size {
    width: 72ch;
}

@media (max-width:800px), (max-width: 100ch) {
    .content-size {
        width: 100%;
    }

    div#wrapper {
        width: 100%;

        /* Provide mobile with larger base font. */
        font-size: 1.5rem;
    }

    div#footer-wrapper {
        width: 100%;

        /* Provide mobile with larger base font. */
        font-size: 1.5rem;
    }
}

section {
    display: block;
    margin-top: 2rem;
    margin-bottom: 1rem;
}

/*
 * === Basic Text and Page Elements ===
 */

a {
    color: var(--link-color);
    text-decoration: none;
}

a:visited {
    color: var(--link-color);
}

a:hover {
    text-decoration: underline;
    background-color: var(--link-hover-background-color);
}

p {
    margin: 0;
    margin-top: 1rem;
}

p.notice {
    font-style: italic;
    font-size: 0.9rem;
    color: var(--text-color);
    background-color: var(--notice-color);
    padding: 1rem;
}

p.notice-dim {
    font-style: italic;
    font-size: 0.9rem;
    color: var(--text-color);
    background-color: var(--secondary-page-color);
    padding: 1rem;
}

p.quoted {
    width: 100%;
    border-left: 1em solid var(--accent-color);
    padding-left: 0.5rem;
    font-style: italic;
}

h2 {
    font-family: monospace;
    font-size: 2.2rem;
    border-bottom: 1px solid var(--secondary-page-color);
    padding: 4px;
    margin-top: 2.5rem;
}

/*
 * This is used for linked headings and usually is just an in-page anchor.
 */
h2 a {
    color: var(--text-color);
    text-decoration: none
}

h2 a:visited {
    color: var(--text-color);
}

h2 a:hover {
    color: var(--text-color);
    text-decoration: underline;
}

h3 {
    font-family: monospace;
    font-size: 1.5rem;
    font-weight: bold;
    margin-top: 2rem;
    margin-bottom: 0;
}

ul {
    margin-top: 0.75rem;
    margin-bottom: 0.75rem;
}

li {
    margin-top: 0.5rem;
}

/*
 * === Page Header Styles ===
 */

header {
    padding-top: 0;
    border-bottom: 1px solid var(--accent-color);
    background-color: var(--secondary-page-color);
    width: 100%;
    margin: 0;
}

div#header-wrapper {
    max-width: 100%;
    margin-left: auto;
    margin-right: auto;
}

header h1 {
    font-family: monospace;
    font-weight: 700;
    font-size: 2.75rem;
    padding: 0.2rem;
    margin: 0;
}

/*
 * === Navigation Styles ===
 */

nav {
    font-size: 1.2rem;
    text-align: center;
}

nav a {
    color: var(--secondary-text-color);
    text-decoration: underline;
    margin-left: 0.5rem;
    padding: 0.2rem;
}

nav a:visited {
    color: var(--secondary-text-color);
    text-decoration: underline;
}

nav a:hover {
    text-decoration: underline;
    background-color: var(--nav-link-background-color);
}

nav ul {
    list-style-type: none;
    margin-left: 0;
    padding: 0;
}

nav li {
    display: inline-block;
}

nav li:not(:first-child):before {
    content: '·';
}

/*
 * === Footer Styles ===
 */

.foot {
    font-family: sans-serif;
    font-size: 0.9rem;
    font-weight: 400;
}

footer {
    width: 100%;

    padding-top: 1rem;
    padding-bottom: 1rem;
    margin-top: 1.5rem;

    color: var(--secondary-text-color);
    background-color: var(--secondary-page-color);
    background-color: var(--secondary-page-color);
    border: 1px solid var(--accent-color);
    border-left: 0;
    border-right: 0;
}

footer ul {
    padding: 0;
    margin: 0;
    display: inline-block;
    list-style-type: none;
}

footer li {
    display: inline-block;
    margin: 0;
    padding: 0;
}

footer li:not(:first-child):before {
    content: '·';
}

footer li a {
    color: var(--secondary-text-color);
    text-decoration: underline;
    margin-left: 0.5rem;
}

footer li a:visited {
    color: var(--secondary-text-color);
    text-decoration: underline;
}

footer li a:hover {
    color: var(--secondary-hover-color);
    text-decoration: underline;
    background-color: var(--footer-link-background-color);
}

a#theme-toggle {
    color: var(--secondary-text-color);
    text-decoration: none;
}

a#theme-toggle:hover {
    text-decoration: none;
    background-color: var(--footer-link-background-color);
}

footer .right {
    float: right;
    display: inline-block;
}

table#blog-meta {
    font-family: monospace;
    font-size: 1em;
    display: block;
    width: 100%;
    border-top: 1px solid var(--accent-color);
    border-bottom: 1px solid var(--accent-color);
}

table#blog-meta td {
    padding: 0.25em;
}

div.section-nav {
    display: block;
    width: 100%;
    text-align: right;
    margin-top: 1rem;
}

div.section-nav a {
    color: var(--section-link-color);
    text-decoration: none;
}

div.section-nav a:visited {
    color: var(--section-link-color);
    text-decoration: none;
}

div.section-nav a:hover {
    color: var(--section-nav-hover-color);
    background-color: var(--header-back);
}

code {
    font-family: monospace;
}

a#feed {
    text-decoration: none;
    padding: 0;
    margin: 0;
    float: right;
}

a img {
    padding: 0;
    margin: 0;
    vertical-align: middle;
}

a.hl2 {
    font-style: italic;
    color: var(--heading-link-color);
    background-color: var(--heading-link-background-color);
    padding: 0.5em;
    padding-top: 0.75em;
    padding-bottom: 0.75em;
    font-size: 0.9rem;
    display: block;
    float: right;
    font-weight: normal;
}

a.hl2:hover {
    background-color: var(--heading-link-background-hover);
    text-decoration: none;
}