html {
    background-color: #DECDE8;
}

menu {
    float: left;
    margin-top: 75px;
    padding: 30px;
    font-size: 15px;
    width: 140px;
}

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

menu a {
    display: block;
    padding-left: 40px;
    text-decoration: none;
    font-weight: bold;
    color: #306090;
}

menu a:hover {
    background-color: #B2AEC4;
}

menu a.current {
    color: #FFFFFF;
    background-color: #B2AEC4;
}

#content {
    max-width: 960px;
    margin-left: 220px;
    margin-right: 20px;
}

#content h1 {
    margin-top: 30px;
    margin-bottom: 35px;
    text-align: center;
    font-size: 30px;
    letter-spacing: 4px; 
    font-weight: normal;
    font-variant: small-caps;
    font-family: New Century Schoolbook, serif;
    color: #003060;
}

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

#content h2 {
    margin-top: 2px;
    margin-bottom: 0;
    text-align: center;
    font-style: oblique;
    font-family: serif;
    font-size: 20px;
    font-weight: normal;
    font-family: sans-serif;
    color: #003060;
}

#content h2.subtitle {
    margin-bottom: 35px;
}

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

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

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

#content li {
    text-align: justify;
    padding: 10px;
}

#content a {
    text-decoration: none;
    font-size: 15px;
    color: #306090;
}

#content a:hover {
    text-decoration: underline;
}

#content img {
    border-style: none;
}

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

#figure img {
    margin: 20px;
}

#caption {
    font-size: 14px;
    font-style: oblique;
    font-weight: normal;
    text-align: center;
}