body
{
    background-color: white;
    color: black;
}

sup
{
    font-size: x-small;
    font-weight: lighter;
}

a:link,
a:visited
{
    color: #505050;
}

 pre a:link
,pre a:visited
,code a:link
,code a:visited
{
    color: #505050;
    text-decoration: none;
}

 a.back-link:link
,a.back-link:visited
{
    color: black;
    text-decoration: none;
}

pre
{
    border-style: none none none solid;
    border-width: 1px;
    border-color: silver;
    padding-left: 1em;
}
