a {
    color: var(--highlight-color0);
    text-decoration: none;
}
a:hover {
    color: var(--highlight-color1);
}
a.toclink {
    color: var(--foreground2);
}
a.toclink:hover {
    color: var(--foreground3);
}

br {
    display: block;
    content: " ";
    margin-bottom: 0.5em;
}

p, li {
    text-align: justify;
}

ul li {
    padding: 0.25em 0.3em;
}

ol li {
    padding: 0.5em 0.3em;
}

ul, ol {
    padding: 0 2em;
}

ul {
    list-style: square;
}

table {
    border-collapse: collapse;
    font-size: 90%;
    width: 85%;
    margin: 1em auto 2em auto;
}
td, th {
    border-top: 1px solid var(--foreground1);
    border-bottom: 1px solid var(--foreground1);
    padding: 0.75em;
}

.codehilite, .codehilite pre {
    border-radius: 0.3em;
}
.codehilite code {
    padding: unset;
}

.katex-display > .katex {
    text-align: left;
    padding: 0 2em;
}
.katex-display {
    margin: 1.25em 0;
}