@import url("https://fonts.googleapis.com/css?family=IBM+Plex+Sans");
@import url("https://fonts.googleapis.com/css?family=Noto+Sans+Mono");
@import url("https://fonts.googleapis.com/css?family=DM+Sans");

:root {
    --code-bg: #dedede;
    --code-font: "Noto Sans Mono", monospace;
    --code-size: calc(0.8 * var(--font-size));
    --font-size: 12pt;
    --main-font: "IBM Plex Sans", sans-serif;
    --nav-font: "DM Sans", sans-serif;
    --accent-color: #50b7e0;
    --accent-hover: #3999c1;
    --accent-click: #00769c;
    --bg-color: #f9f9f9;
    --bg-hover: #d3d3d3;
    --fg-color: #000000;
    --footer-color: #efefef;
    --input-color: #bdbdbd;
    --link-color: #007d9c;
    --hr-color: #494949;
    --err-bg: #cf0808;
    --select-color: #007d9c;
}

@media (prefers-color-scheme: dark) {
    :root {
        --bg-color: #202020;
        --bg-hover: #3f3f3f;
        --code-bg: #000000;
        --fg-color: #ffffff;
        --footer-color: #171717;
        --input-color: #494949;
        --link-color: #50b7e0;
        --hr-color: #aaaaaa;
        --err-bg: #590000;
    }
}

html {
    background: var(--code-bg);
    color: var(--fg-color);
    font-size: var(--font-size);
    font-family: var(--main-font);
    margin: 0;
    min-height: 100vh;
    tab-size: 8;
}

main {
    background: var(--bg-color);
    margin: 0 auto;
    max-width: none;
    min-height: 100vh;
    padding: min(4%, 3.4em) max(10%, 2em) 2em max(10%, 2em);
}

body {
    margin: 0;
}

footer {
    background: var(--footer-color);
    margin: 0 auto;
    max-width: none;
    min-height: 30px;
    padding: 1em min(10%, 2em) 2em max(10%, 2em);
}

@media (min-width: 0) and (max-width: 1199px) {
    main {
        max-width: none;
        padding: min(4%, 3.4em) max(10%, 2em) 2em max(10%, 2em);
    }
    footer {
        max-width: none;
        padding: 1em min(10%, 2em) 1.5em max(10%, 2em);
    }
}

@media (min-width: 1200px) {
    main {
        max-width: 45%;
        padding: 3.4em min(10%, 6em) 2em min(10%, 6em);
    }
    footer {
        max-width: 45%;
        padding: 1em min(10%, 6em) 1.5em min(10%, 6em);
    }
}

p {
    text-align: justify;
}

code, pre {
    background: var(--code-bg);
    font-size: var(--code-size);
}

code {
    border-radius: 0.3em;
    font-family: var(--code-font);
    margin: 0 !important;
    padding: 0.1em;
}

pre {
    border: 1px solid #999;
    border-radius: 0.6em;
    margin: 2em;
    overflow: scroll;
    padding: 0.8em;
}

@media (prefers-color-scheme: dark) {
    pre {
        border: none;
    }
}

blockquote {
    background: rgba(80, 183, 223, 0.1);
    border-left: 8px solid var(--accent-color);
    margin-left: 0;
    margin-right: 0;
	padding: 10px 30px 10px 30px;
}

img {
    display: block;
    margin: 1.5em auto;
    max-width: 100%;
}

h1, h2, h3, h4 {
    font-weight: bold;
}

h1, h2, h3 {
    font-family: var(--nav-font);
    margin: 1.3em 0 0 0;
    padding-bottom: 0.2em;
    border-bottom: 1px solid #666;
}

h5, h6 {
    font-weight: normal !important;
    margin: 1em 0;
}

h1 {
    font-size: 2rem;
}

h2 {
    font-size: 1.5rem;
}

h3 {
    font-size: 1.2rem;
}

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

hr {
    border: 0;
    border-bottom: 1px solid var(--hr-color);
    margin: 20px 0;
}

select,
input {
    border: 1px solid #aaaaaa;
}

select {
    background: var(--input-color);
    color: var(--fg-color);
    font-family: var(--main-font);
}

input {
    background: var(--input-color);
    color: var(--fg-color);
    font-family: var(--main-font);
}

input[type=submit] {
    color: #ffffff;
}

summary:hover {
    cursor: pointer;
}

details div,
summary {
    border-top: 1px solid var(--input-color);
    padding: 10px;
}

details div:hover,
summary:hover {
    background: var(--bg-hover-color);
}

details div {
    border-color: var(--fg-color);
    margin: 0 30px;
}

details div:first-child {
    margin-top: 30px;
}

details div:last-child {
    border-bottom: 1px solid var(--fg-color);
    margin-bottom: 30px;
}

details div * {
    margin: 5px 10px;
}

details div * a {
    color: var(--fg-color);
    margin: 0;
    text-decoration: none;
}

details div * a:hover {
    text-decoration: underline;
}

details:last-child:not([open]) summary {
    border-bottom: 1px solid var(--input-color);
}

details div h4 {
    display: inline-block;
    margin: 1em 0;
}

li {
    margin: 0.2em 0;
}

::selection {
    color: white;
    background: var(--select-color);
}

* {
    cursor: url(https://9front.org/img/cursor.png), auto;
}

#abstract {
    margin: auto 0 2em 0;
}

#abstract p {
    margin: auto;
    max-width: 60%;
}

#abstract h4 {
   text-align: center;
}

div.center h1,
div.center h2,
div.center h3,
div.center p {
    border: none;
    text-align: center;
}

table {
    border: 1px solid var(--fg-color);
    border-spacing: 0;
    border-collapse: collapse;
    margin: 0 auto;
    text-align: center;
    width: 80%;
}

table thead {
    background: var(--bg-hover);
    color: var(--fg-color);
}

table th,
table td {
    border: 1px solid var(--fg-color);
    padding: 5px 10px;
}