/*
 * General page layout.
 */
body {
    padding: 0px;
    margin: 0px;
}

body div.nav {
    float: left;

    height: 100%;
    width: 15%;
}

body div.content {
    padding: 0px;
    padding-left: 15%;

    width: 80%;
    height: 100%;
}

/*
 * Text appearance
 */

body div.nav {
    padding-top: 0px;
    margin-top: 0px;

    padding-right: 1ex;
}

body div.nav ul {
    padding-top: 0px;
    margin-top: 0px;
}

body div.content h1,
body div.content h2,
body div.content h3
{
    padding-bottom: 0px;
    margin-bottom: 0px;

    margin-left: -.5cm;
}

body div.content h1 {
    padding-top: 0px;
    margin-top: 0px;
}

body div.content {
    margin-left: 1cm;
    margin-right: 1cm;
}