:root {
    --unclicked-link: #0C7FFA;
    --clicked-link: #FA5800;
}

body {
    font-family: "DejaVu Sans", "Noto Sans", "Helvetius", sans-serif;
}

a > code:not([class]) {
    color: var(--unclicked-link);
    background-color: #00ffff22;
}

a:visited > code:not([class]) {
    color: black;
}

code {
    font-family: monospace;
}

code:not([class]) {
    background-color: #fcb1dc22;
    border-radius: 4px;
    color: #80064c;
}

.highlight > pre {
    padding: 1em;
    overflow-x: auto;
}

html {
    padding: 25px;
}

body {
    font-size: 1.1rem;
    line-height: 1.4;
    max-width: 700px;
    margin-left: auto;
    margin-right: auto;
}

h1 {
    font-size: 3rem;
}

h1, h2 {
    line-height: 1.1;
}

table {
    border-collapse: collapse;
}

thead > tr > th, tbody > tr > td {
    border: 1px solid black;
    padding: 0.4em;
}

a:hover {
    text-decoration: underline;
}

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

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

blockquote {
    background: #f9f9f9;
    border-left: 5px solid #ccc;
    padding: 1em 2em;
    margin: 0;
}

blockquote > p {
    margin: 0;
}