div
{
    border-style: solid;
    border-width: 0;
}

div.header
{
    text-align: left;
    background-color: #cfcfdf;
    border-color: #9999dd;
    border-style: solid;
    border-width: 1;
    padding: 2px;
    margin-bottom: 0px;
    margin-top: 0px;
    margin-left: 0px;
    margin-right: 0px;
}

div.footer
{
    text-align: center;
    background-color: #cfcfdf;
    border-color: #9999dd;
    border-style: solid;
    border-width: 1;
    padding: 2px;
}

table
{
    border-style: none;
    border-width: 0;
    margin-left: auto;
    margin-right: auto;
    padding: 0 0 0 0;
    border-collapse: collapse;
    border-spacing; 0;
}

table.framed
{
    border-style: solid;
    border-width: 1;
    background-color: #eeeed0;
}

div.spaced
{
    margin-bottom: 8px;
    margin-top: 8px;
    margin-left: 8px;
    margin-right: 8px;
}

div.figure
{
    text-align: center;
    margin-bottom: 8px;
    margin-top: 8px;
    margin-left: 8px;
    margin-right: 8px;
}

img.framed
{
    padding: 4px;
    border-style: solid;
    border-width: 1px;
    margin-bottom: 4px;
    border-color: grey;
}

span.caption
{
    font-style: italic;
}

a.clean:link { text-decoration: none; color: blue }
a.clean:visited { text-decoration: none; color: blue }
a.clean:active { text-decoration: none; color: blue  }
a.clean:hover { text-decoration: underline; color: red; }