/* Some hopefully sensible defaults. */

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


figure {
    text-align: center;
    margin-left: 0.5em;
    margin-right: 0.5em;
}


code {
    display: block;
    font-family: monospace;
    white-space: pre;
    background-color: #ceecf5;
    border-radius: 1.5em;
    /* top padding seems to start at 2em on most browsers for code blocks... bug? */
    /* nonetheless, for the moment padding-top will be left as default */
    padding-right: 2em;
    padding-bottom: 2em;
    padding-left: 2em;
    /*padding: 2em 2em 2em 2em;*/
    margin: 1em 2em 1em 2em;
}


pre {
    background-color: #cef6ce;
    border-radius: 1.5em;
    padding: 2em 2em 2em 2em;
    margin: 1em 2em 1em 2em;
}


h2 {
    padding: 1em 0.5em 1em 0.5em;
}


h4 {
    padding-top: 2em;
    padding-left: 0.5em;
}


h5 {
    padding-top: 2em;
    padding-left: 0.5em;
}


p {
    margin: 2em 0.5em 2em 0.5em;
}




/* Display the navbar like a table to make it
   horizontal and evenly spaced. */

nav ul {
    display: table;
    width: 90%;
    margin: auto;
    padding: 0;
}

nav ul li {
    display: table-cell;
    text-align: center;
    margin: 0;
    padding: 0;
    width: 33.33333333%;
}

nav ul li:first-child {
    text-align: left;
}

nav ul li:last-child {
    text-align: right;
}