body
{
     font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; }

A:link { color: red; }
A:visited { color: maroon; }
A:hover { background-color: yellow; }

.sect
{
     padding: 4px;
     margin: 2px;
}

.sect-title
{
     padding: 4px;
     background-color: red;
     color: white;
     font-weight: bold;
}

.toc
{
     border: silver solid 1pt;
     margin: 4px;
}

.toc-title
{
     padding: 4px;
     background-color: red;
     color: white;
     font-weight: bold;
     font-size: 80%;
}

.toc-item
{
    padding: 1px;
}

.toc-item-title
{
    font-size: 80%;
}

.toc-item-body
{
    padding-left: 4px;
    font-size: 60%;
}

.box
{
     border: silver solid 1pt;
     margin: 4px;
}

.box-title
{
     padding: 4px;
     background-color: red;
     color: white;
     font-weight: bold;
     font-size: 80%;
}

.item
{
     padding: 2px;
}

.item-title
{
     font-weight: bold;
     font-size: 80%;
}

.item-body
{
     font-size: 60%;
}

.programlisting
{
     background-color: #e0e0e0;
     font-size: 90%;
}