/* for simplicity, the same CSS is used everywhere. This would be better if it were remote, rather than being embedded in every page. */
html {
    font-family: sans-serif;
    /* make room for the top bar */
    /* this is an awful way to do this */
    position: absolute;
    top: 3em;
    right: 0;
    bottom: 0;
    left: 0;
}
@media (prefers-color-scheme: dark) {
    body {
        background-color: #000;
        color: #fff;
    }
}
nav {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    height: 2em;
    background-color: #00f;
    display: flex;
    align-items: center;
    text-align: center;
    justify-content: space-between;
    font-size: 1.5em;
}
nav a {
    transition: text-decoration-thickness 0.2s;
    color: #fff;
    text-decoration-thickness: 0;
}
nav a:hover {
    text-decoration-thickness: 0.2em;
}
.up {
    color: green;
}
.down {
    color: red;
}
.right {
    color: blue;
}
.views {
    color: grey;
}
.up, .down, .right, .views {
    text-decoration: none;
    transition: text-shadow 0.2s;
    text-shadow: none;
}
.up:hover {
    text-shadow:
        0 0 0.1em green,
        0 0 0.1em green,
        0 0 0.1em green,
        0 0 0.1em green,
        0 0 0.1em green,
        0 0 0.1em green,
        0 0 0.1em green,
        0 0 0.1em green,
        0 0 0.1em green,
        0 0 0.1em green;
}
.down:hover {
    text-shadow:
        0 0 0.1em red,
        0 0 0.1em red,
        0 0 0.1em red,
        0 0 0.1em red,
        0 0 0.1em red,
        0 0 0.1em red,
        0 0 0.1em red,
        0 0 0.1em red,
        0 0 0.1em red,
        0 0 0.1em red;
}
.right:hover {
    text-shadow:
        0 0 0.1em blue,
        0 0 0.1em blue,
        0 0 0.1em blue,
        0 0 0.1em blue,
        0 0 0.1em blue,
        0 0 0.1em blue,
        0 0 0.1em blue,
        0 0 0.1em blue,
        0 0 0.1em blue,
        0 0 0.1em blue;
}
.views:hover {
    text-shadow:
        0 0 0.1em grey,
        0 0 0.1em grey,
        0 0 0.1em grey,
        0 0 0.1em grey,
        0 0 0.1em grey,
        0 0 0.1em grey,
        0 0 0.1em grey,
        0 0 0.1em grey,
        0 0 0.1em grey,
        0 0 0.1em grey;
}
.notify {
    width: calc(100vw - 5em);
    margin: 1em;
    padding: 1em;
    background-color: blue;
    color: #fff;
    border: 2px solid #000a;
    border-radius: 0.5em;
    box-shadow: 0 0 0.5em #000;
    font-size: 1.2em;
    text-align: center;
}
.error {
    width: calc(100vw - 5em);
    margin: 1em;
    padding: 1em;
    background-color: red;
    color: #fff;
    border: 2px solid #000a;
    border-radius: 0.5em;
    box-shadow: 0 0 0.5em #000;
    font-size: 1.2em;
    text-align: center;
}
iframe {
    width: 100%;
    height: 80vh;
    border-radius: 0.5em;
}