img.gnu-link {
    width: 300px;
    height: 201px;
    border: 0;
}

body
{
    background-color: white;
    color: black; /* color of font in body */
    width: 800px;
    font-size: 11pt;
    font-family: Helvetica, Arial, sans-serif;
    line-height: 1.4;
}
p.leftalign
{
    text-align: right;
    font-size: 8pt;
}
a:link
{
    color: #000000;
}
a:visited
{
    color: #C14507;
}
a:active
{
    color: #FF0000;
}
a:hover
{
    color: #DDE10A;
}
h1
{
    text-align: center;
}
code
{
    color: red;
    font-family: Courier, Monaco, monospace;
}
pre
{
    overflow: auto;
}

.align-center {
    text-align: center;
}

tr, th, td, table.with-border {
    border: 1px solid black;
}