body {
    margin: auto;
    padding-bottom: 100px;
    font-family: Arial, Helvetica, sans-serif;
}

body div {
    max-width: 1000px;
    margin: auto;
}

header {
    background-color: #f3f3f3;
    padding: 20px 0 30px 0;
}

.nav {
    font-size: 1.2em;
}

.nav a {
    padding: 4px 4px 20px 4px;
}

.nav a:hover {
    color: #3584B5;
}

.nav-right {
    float: right;
}

@media print {
    header {
        visibility: hidden;
    }
}

h2 {
    margin-top: 40px;
    margin-bottom: 5px;
}

.banner {
    text-align: center;
}

.content {
    padding: 4px;
}

.content div a {
    margin-top:10px;
}