BODY {
    font:      10pt Arial, Helvetica, sans-serif;
    text-decoration: none;
}



div.headline {
    margin: 10px;
    font:      13pt Arial, Helvetica, sans-serif;
    font-weight: bold;
}

div.small_head {
    font:      11pt Arial, Helvetica, sans-serif;
    font-weight: bold;
    margin-bottom: 7px;
}

div.box {
    padding: 3px 10px 0.5ex 10px;
    margin: 10px;
}


pre {
margin: 0px;
}

A {
    text-decoration: none;
}

A:HOVER {
    text-decoration: underline;
}

A:VISITED {
    text-decoration: none;
}