h1
{
    margin-top: 5px;
}

h2
{
    margin-top: 25px;
    margin-bottom: 15px;
}

h3
{
    margin-top: 15px;
    margin-bottom: 5px;
}

div#content
{
    margin-left: 20%;
    margin-right: 20%;
    padding: 20px;
    border: 1px solid gray;
}

table
{
    font-size: 10pt;
    border: 2px solid black;
    text-align: center;
    margin-top: 15px;
    margin-bottom: 30px;
}

td
{
    border: 1px solid black;
    min-width: 15px;
}

td[colspan=2]
{
    min-width: 30px;
}

td[colspan=3]
{
    min-width: 45px;
}

td.binary
{
    font-family: fixed;
}

td.empty
{
    border: none;
}