body
{
    font-family: sans-serif;
    font-size: 0.75em;
    background-color: white;
    color: black;
}

div
{
    text-align: left;
    margin-top: 1.0em;
    margin-bottom: 1.0em;
}

div.center
{
    width: 40em;
    margin-right: auto;
    margin-left: auto;
}

body.license
{
    text-align: left;
}

div.license
{
    width: 600px;
}

h1
{
    font-weight: normal;
}

a
{
    color: blue;
    text-decoration: none;
}

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

table.thumbnails
{
    border-style: none;
    margin-left: auto;
    margin-right: auto;
}

td
{
    padding: 4px;
}

ol.alpha
{
    list-style-type: lower-alpha;
}

ol.roman
{
    list-style-type: lower-roman;   
}