body
{
    margin: 5px;
    padding: 0;
    color: white;
    background-color: rgb(40%, 40%, 40%);

    background-image: url("/img/logo2.gif");
    background-position: top right;
    background-repeat: no-repeat;
}

div#div_ctinfo *
{
    font-size: 12px;
}

div#div_ctinfo p
{
    margin: 0;
    padding: 0;
}

div#div_ctinfo dl
{
    margin: 0;
    padding: 0;
    display: inline;
}

div#div_ctinfo dt
{
    display: inline;
    margin: 0;
    padding: 0 0.1em;
    font-size: 11px;
}
div#div_ctinfo dd
{
    display: inline;
    margin: 0;
    padding: 0 0.1em;
}