* {
    box-sizing: border-box;
}
html {
    font-family: "Coelacanth", "Lucida Sans Unicode", Arial, Helvetica, sans-serif;
    font-size: large;
}
a {
    text-decoration: none;
}
a.exposed {
    font-weight: bold;
    font-size: 1.3em;
}
a:visited {
}

body {
    max-width: 1200px;
    @media (min-width: 1200px) {
        margin: auto;
    }
}

header {
    text-align: center;
    h1 {
        margin-bottom: 0;
    }
    nav {
        margin: 1em;
    }
    nav > * {
        padding: 0.5em;
    }
}

.path {
    display: inline;
}