body
{
    font-family: Verdana, Arial, Helvetica, sanserif;
    font-size: 11pt;
}
h1
{
    font-size: 1.5em;
    color: #770;
}
h2
{
    font-size: 1.1em;
    margin-bottom: 0;
}
p
{
    margin-top: 0;
}
a:link, a:visited
{
    color: #06a;
}
a:link a:hover
{
    color: red;
}
ul
{
    margin-top: 0;
    margin-bottom: 0;
}
.footer
{
    font-size: 0.7em;
    margin-top: 2em;
}
p.before-list
{
    margin-bottom: 0;
}
dl
{
    margin-top: 0;
}
pre.literal-block
{
    background-color: #dde;
}