body {
    font-family: sans-serif;
    background-color: #006000;
    color: white;
}

a:link {
    color: #ffff00;
}

a:visited {
    color: #ffaa00;
}

div#header {
    font-size: 150%;
    font-weight: bold;
    text-align: center;
}

div#navbar {
    position: absolute;
    left: 1em;
    width: 10em;
    font-size: 90%;
    font-weight: bold;
}

div#navbar a {
    font-weight: normal;
    text-decoration: none;
}

div.language {
    border-style: solid;
    border-width: thin;
    padding: 0.2em;
    margin-top: 0.5em;
}

div.language img {
    border: none;
}

div#main {
    margin-left: 11em;
}

h1 {
    font-size: 140%;
}

h2 {
    font-size: 120%;
}

td.title {
    background-color: white;
    color: #220088;
    font-weight: bold;
}

.notice {
    border-style: solid;
    margin: 2em;
    padding: 1em;
    background-color: white;
    color: red;
    text-align: center;
    font-weight: bold;
}