/* Classic Old School CSS - with Dark Mode support */

:root {
    --bg-color: #ffffff;
    --text-color: #000000;
    --link-color: #0000ee;
    --link-visited: #551a8b;
    --link-hover: #ff0000;
    --pre-bg: #f4f4f4;
    --border-color: #cccccc;
    --hr-color: #000000;
    --toc-bg: #f9f9f9;
    --intro-bg: #ffffe0;
    --button-bg: #e0e0e0;
    --button-text: #000000;
}

body.dark-mode {
    --bg-color: #121212;
    --text-color: #e0e0e0;
    --link-color: #66b3ff;
    --link-visited: #b366ff;
    --link-hover: #ff6666;
    --pre-bg: #1e1e1e;
    --border-color: #444444;
    --hr-color: #555555;
    --toc-bg: #1a1a1a;
    --intro-bg: #2a2a00;
    --button-bg: #333333;
    --button-text: #ffffff;
}

body {
    font-family: "Times New Roman", Times, serif;
    background-color: var(--bg-color);
    color: var(--text-color);
    margin: 2% 10%;
    line-height: 1.5;
    transition: background-color 0.3s, color 0.3s;
}

h1,
h2,
h3 {
    font-family: Arial, Helvetica, sans-serif;
    color: var(--text-color);
}

h1 {
    font-size: 2em;
    margin-bottom: 0px;
}

h2 {
    font-size: 1.5em;
    border-bottom: 1px solid var(--hr-color);
    padding-bottom: 3px;
    margin-top: 2em;
}

h3 {
    font-size: 1.17em;
}

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

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

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

pre {
    background-color: var(--pre-bg);
    border: 1px solid var(--border-color);
    padding: 10px;
    overflow-x: auto;
    font-family: "Courier New", Courier, monospace;
}

code {
    font-family: "Courier New", Courier, monospace;
    font-size: 1em;
}

hr {
    border: 0;
    border-top: 1px solid var(--hr-color);
    margin: 2em 0;
}

ul {
    list-style-type: disc;
}

li {
    margin-bottom: 0.5em;
}

.intro-box {
    background-color: var(--intro-bg);
    border: 1px solid var(--border-color);
    padding: 10px;
    margin-top: 1em;
    font-family: Arial, Helvetica, sans-serif;
}

.toc {
    background-color: var(--toc-bg);
    border: 1px solid var(--border-color);
    padding: 15px;
    margin: 20px 0;
    display: inline-block;
    min-width: 300px;
}

.toc h2 {
    margin-top: 0;
    border-bottom: none;
    font-size: 1.2em;
}

.toc ul {
    list-style-type: none;
    padding-left: 10px;
}

.toc li {
    margin-bottom: 0.3em;
}

small {
    font-size: 0.8em;
    color: gray;
}

.top-bar {
    text-align: right;
    margin-bottom: 10px;
}

button#theme-toggle {
    background-color: var(--button-bg);
    color: var(--button-text);
    border: 1px solid var(--border-color);
    padding: 5px 10px;
    cursor: pointer;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 0.9em;
}

button#theme-toggle:hover {
    opacity: 0.8;
}