body {
    font-family: "Optima";
    /* Old font: still in use for uni website */
    font-family: "San Francisco", "Roboto", "Segoe UI", "Helvetica Neue", "Lucida Grande", Arial, sans-serif;
    font-size: 1.1em;
    margin: 0 auto;
    padding: 1em;
    color: #555;
    max-width: 60em;
    line-height: 1.5em;
}

.sidebar {
    width: 200px;
    float: left;
}

.sidebar a {
    color: inherit;
    text-decoration: none;
    border-bottom: 1px dotted #999;
}

.sidebar > ul {
    padding-left: 0;
}

.sidebar > ul > li {
    list-style: none;
}

.sidebar ul ul {
    padding-left: 1em;
    font-size: 0.9em;
}

.sidebar ul ul li {
    list-style: square;
}

.sidebar .caption {
    display: none;
}

.content {
    margin-left: 200px;  /* Must match sidebar width */
    padding: 5px;
    /* text-align: justify; */
}

.content p {
    margin: 0.8em auto;
}

header h1 {
    font-size: 1.25em;
    display: inline;
}

h1, h2, h3, h4, h5, strong {
    color: #333;
}

pre {
    padding: 16px;
    overflow: auto;
    line-height: 1.45;
    background-color: #f6f8fa;
    border-radius: 3px;
}

table {
    border-collapse: collapse;
}

td, th {
    padding: 6px 13px;
    border: solid 1px #dfe2e5;
}

a {
    color: #6C8AA0;
}

a:hover {
    color: #D46385;
    text-decoration: none;
}

a.headerlink {
    padding: 0 4px;
    visibility: hidden;
    color: #ddd;
    text-decoration: none;
}

a.headerlink:hover {
    background: #ddd;
    color: #999;
}

li p {
    margin: 2px;
}

h1:hover a.headerlink { visibility: visible; }
h2:hover a.headerlink { visibility: visible; }
h3:hover a.headerlink { visibility: visible; }
h4:hover a.headerlink { visibility: visible; }
h5:hover a.headerlink { visibility: visible; }
h6:hover a.headerlink { visibility: visible; }
h7:hover a.headerlink { visibility: visible; }

blockquote {
    color: #9d9d9d;
    border-left: 5px solid #ddd;
    padding-left: 1em;
}

.hideme {
    display: none;
}

.admonition {
    margin: 1em;
    padding: 0 1em;
    border-left: 3px solid #D46385;
}

.example {
    font-style: italic;
}

.example em {
    font-style: normal;
}

.admonition-title {
    font-weight: bold;
    margin: 0;
}

.admonition p:nth-child(2) {
    margin-top: 0.25em;
}

/* Styles for specific admonitions */
.admonition.caution {
    border-color: #fdaa48;
}
.caution .admonition-title::after {
    content: " ⚠";
}

.admonition.rough {
    border-color: #bacd66;
    /* font-family: monospace; */
}

.todo, .todo strong {
    color: red;
}

summary {
    cursor: pointer;
}

.figure {
    text-align: center;
    font-style: italic;
}

.footnote-reference {
    font-size: 0.7em;
    vertical-align: top;
}

a.brackets::before, dl.footnote dt a::before {
    content: "[";
}

a.brackets::after, dl.footnote dt a::after {
    content: "]";
}

dl.footnote dt {
    float: left
}

@media screen and (max-width: 876px) { /* Width copied from alabaster's CSS */
    .sidebar {
        width: auto;
        float: none;
    }

    .content {
        margin-left: auto;
    }
}

.floatright {
    float: right;
}

.imgpadding {
    padding: 0 1em;
}

.katex {
    font-size: 1.1em !important;
}

.bibliographic-entry {
    margin-bottom: 1em;
}

.bibliographic-entry .metadata, .bibliographic-entry summary {
    color: #7a7a7a;
    font-size: 0.8em;
}