body
{
    font-family: sans-serif;
    font-size: 12pt;

    text-align: center;

    color: black;
    background: #E0E0E0;
}

table
{
    border: none;
    text-align: left;
    background: white; 
}

table.menu
{
    width: 100%; 
    margin-bottom: 0px;
}

table.body
{
    width: 98%;
    border: thin solid black; 
}

table.content
{
    margin-top: 5px;
    margin-bottom: 5px;
}

td
{
    padding: 5px;
}

td.label
{
    font-weight: bold;
}

div.info
{
    margin: 10px;
    padding: 5px;
    font-size: smaller;
    border: thin dotted gray;
}

li
{
    margin-bottom: 5px;
}

th
{
    font-weight: bold;
    padding: 5px;
    border-bottom: thin solid black;
}

p.error
{
    font-style: italic;
    color: red;
}

p.hint
{
    font-style: italic;
}

p.big
{
    font-style: bold;
    font-size: 22pt;
}

p.copyright
{
    font-size: 10pt;
}

p.menu
{
    font-size: small;
    padding: 15px;
    border: thin dotted gray;
}

a.copyright
{
    color: black;
}

a.copyright:hover
{
    color: blue;
}