@import url("framework.css");

#menu {
   background-color: #EFEFEF;
   border-width: 1px;
   border-style: solid;
}

BODY {
    color: #000000;
    background-color: #3A3A77;
    font:      11pt Arial, Helvetica, sans-serif;
    text-decoration: none;
}


div.headline {
    margin: 10px;
    font:      13pt Arial, Helvetica, sans-serif;
    color: #CCCCFF;
    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;
    background-color: #EFEFEF;
    border-width: 1px;
    border-style: solid;
}

pre {
margin: 0px;
}

A {
    text-decoration: none;
    color: #0000BB;
}

A:HOVER {
    text-decoration: underline;
}

A:VISITED {
    text-decoration: none;
}