body {
    background-color: #f8fbff;
    color: #333333;
    font-family: sans-serif;
    margin: 0;
}

h2 {
    font-weight: normal;
}

.header {
    position: relative;
    margin: 0;
    padding: 8px;
    width: 100%;
    background-image: url("images/header-bg.jpg");
    background-position: center bottom;
    color: #eeeeee;
    font-family: sans-serif;
}

.header_button {
    color: #bbbbbb;
    padding: 5px;
    text-decoration: none;
}
.header_button:hover {
    text-decoration: underline;
}

.main_content {
    margin: 25px;
}

.example {
    padding: 5px;
    background-color: #dddddd;
    font-family: monospace;
    white-space: pre-wrap;
}