/* Some hopefully sensible defaults. */

body {
    margin:1em auto;
    max-width:40em;
    font:1.2em/1.62em sans-serif;
}


figure {
    text-align: center;
}


code {
    display: block;
    font-family: monospace;
    white-space: pre;
}




/* A bunch of nonsense to make the navbar
   horizontal and evenly spaced. */

nav ul {
    width: 85%;
    text-align: justify;
    line-height: 0;
    margin: 0 auto 0 auto;
    padding: 0;
}


nav ul:after {
    content: '';
    display: inline-block;
    width: 100%;
}


nav ul li {
    display: inline-block;
    line-height: 100%;
}




/* Formatting the index list differently
   from regular lists. */

ul.index {
    text-align: center;
    list-style-type: none;
    margin-top: 1.5cm;
}