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

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

header {
    text-align: center;
    @media (min-width: 1200px) {
    }
    h1 {
        margin-bottom: 0;
    }
    nav {
        margin: 1em;
    }
    nav > * {
        padding: 0.5em;
    }
}

.path {
    display: inline;
}