/* Some hopefully sensible defaults. */

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


figure {
    text-align: center;
}


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


h2 {
    padding-top: 1em;
    padding-bottom: 1em;
}


h4 {
    padding-top: 2em;
}


p {
    margin-top: 2em;
    margin-bottom: 2em;
}


table, th, td {
    border: 1px solid gray;
}


table {
    margin: 2em auto 2em auto;
    max-width: 59em;
}


th {
    background-color:#CCCCCC;
}


td {
    text-align: center;
}




/* 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;
}