body {
    width: 100%;
    max-width: 1200px;
    margin: auto;
    padding: 1% 5%;
    background-color: #FFF;
    color: #000;
}

h1 {
    border-bottom: solid 1px #555;
    padding: 0.3em;
    text-align: center;
    font-family: sans-serif;
    font-size: 200%;
}

h2{
    border-left: solid 0.45em #CCC;
    padding: 0.2em 0.2em 0.2em 0.4em;
    background-color: #DDD;
    font-family: sans-serif;
    font-size: 120%;
}

h3{
    width: 25em;
    border-bottom: solid 1px #CCC;
    padding: 0.2em 0.2em 0.2em 0.4em;
    font-family: sans-serif;
    font-size: 100%;
}

div.table-of-contents p{
    padding: 0em 2em;
    font-size: 90%;
}

a:link {
    color: #009;
    text-decoration: none;
}

a:visited {
    color: #009;
    text-decoration: none;
}

a:hover {
    background-color: #FEE;
    color: #000;
    text-decoration: none;
}

#select-lang {
    text-align: center;
    font-size: 120%;
    font-weight: bold;
}

h2.home {
    border-left: solid 0.6em #666;
    padding: 0.2em 0.2em 0.2em 0.4em;
    background-color: #FFF;
    font-family: sans-serif;
    font-size: 120%;
}