menu {
    float: left;
    margin-top: 125px;
    padding: 10px;
    font-size: 15px;
    width: 120px;
}

menu li {
    padding: 2px;
    list-style: none;
}

menu a {
    display: block;
    padding-left: 15px;
    text-decoration: none;
    font-weight: normal;
    color: #306090;
    background-color: #FFFFFF;
}

menu a:hover {
    color: #003060;
    background-color: #EFF4FA;
}

menu a.current {
    font-weight: bold;
}

#content {
    max-width: 900px;
    margin-left: 155px;
    margin-right: 20px;
}

#content h1 {
    margin-top: 30px;
    text-align: center;
    font-size: 30px;
    letter-spacing: 4px; 
    font-weight: normal;
    font-family: sans-serif;
    color: #003060;
}

#content h1.title {
    margin-bottom: 0;
}

#content h2 {
    font-size: 20px;
    font-weight: normal;
    font-family: sans-serif;
    color: #003060;
}

#content h2.subtitle {
    margin-top: 2px;
    margin-bottom: 50px;
    text-align: center;
    font-size: 18px;
    font-style: oblique;
    font-family: serif;
}

#content p {
    text-align: justify;
    font-size: 15px;
}

#content pre {
    margin-left: 15px;
    font-size: 15px;
}

#content ul {
    padding: 10px;
    font-size: 15px;
}

#content li {
    list-style: none;
}

#content a {
    text-decoration: none;
    font-weight: normal;
    color: #306090;
    background-color: #FFFFFF;
}

#content a.link {
    display: inline;
    text-decoration: none;
    font-weight: normal;
    color: #306090;
    background-color: #FFFFFF;
}

#content a:hover {
    color: #003060;
    background-color: #EFF4FA;
}

#content table.samples td {
    text-align: center;
    min-width: 275px;
}

#figure {
    text-align: center;
    min-width: 400px;
    margin: 30px;
}

#download {
    text-align: center;
    max-width: 350px;
    margin-top: 30px;
    margin-bottom: 30px;
    font-size: 18px;
    font-family: sans-serif;
}