@font-face {
    font-family: "custom";
    src: url(/static/font.ttf);
    }

h1 {
    margin-top: 0px;
    }

body {
    margin: 0px;
    font-family: custom;
    }

main {
    }

nav {
    display: block;
    background-color: #eee;
    float: right;
    border-left: 2px dotted;
    border-bottom: 2px dotted;
    border-color: #aaa;
    }

nav a {
    text-decoration: none;
    }

nav ul {
    list-style: none;
    }

.centered {
    text-align: center;
    position: absolute;
    width: 100%;
    top: 50%;
    transform: translateY(-50%);
    }

article {
    padding: 20px;
    }

article p {
    white-space: pre-wrap;
    }

a {
    text-decoration: underline dotted;
    font-weight: bold;
    color: #ccc;
    }

a:hover {
    color: #bbb;
    }

a:visited {
    color: #333;
    }

code {
    background-color: #eee;
    font-weight: bold;
    }

pre code {
    display: block;
    padding: 10px;
    border-color: #ddd;
    border-width: 1px;
    border-style: solid;
    }