/* Global defaults */
* {
    margin: 0;
    padding: 0;
}
BODY {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 10pt;
}

/* Left column container */
#left_container {
    float: left;
    width: 220px;
    margin: 0;
}

/* Right column container */
#right_container {
    margin-left: 220px;
}

/* Logo (left, top) container */
#logo_container {
    height: 100px;
}
/* Logo itself */
#logo {
    display: block;
    padding: 6pt;
    margin-left: auto;
    margin-right: auto;
}

/* Menu (left, bottom) container */
#menu_container {
    background-color: #dddddd;
    height: 45em;
}
.menu_section {
    background-color: #bbbbbb;
    margin-bottom: 1em;
    margin-left: 1em;
}
.menu_title {
    font-size: 100%;
    text-indent: 1em;
    margin: 0.3em;
}
.menu_curr  {
    font-size: 90%;
    text-indent: 2.5em;
    padding-bottom: 0.3em;
    background-color: white;
}
.menu_item  {
    font-size: 90%;
    text-indent: 2.5em;
    padding-bottom: 0.3em;
}
#copyright {
    background-color: #dddddd;
    font-size: 80%;
    padding: 1.5em;
}

#title_container {
    background-color: #dddddd;
    height: 100px;
    position: relative;
}
H1#title {
    width: 80%;
    position: absolute;
    font-variant: small-caps;
    margin-left: 30px;
    margin-top: 20px;
    font-size: 200%;
}
H2#title {
    width: 80%;
    position: absolute;
    font-variant: small-caps;
    text-align: right;
    margin-top: 60px;
    margin-left: 30px;
    font-size: 130%;
    border-width: 1pt 0 0 0;
    border-style: dashed;
    border-color: #aaaaaa;
}

/* Content (right, bottom) container */
/* FIXME: Style more HTML elements here */
#content_container {
    height: 100%;
    width: 60%;
    position: absolute;
    left: 240px;
    top: 100px;
}
#content_container H1 {
    margin-top: 1em;
    font-size: 140%;
    border-width: 0 0 1pt 0;
    border-style: dashed;
    border-color: #aaaaaa;
}
#content_container H2 {
    margin-top: 1em;
    font-size: 120%;
    padding-left: 1em;
}
#content_container H3 {
    margin-top: 0.5em;
    font-size: 110%;
    padding-left: 1em;
}
#content_container H4 {
    margin-top: 0.5em;
    font-size: 100%;
    padding-left: 1em;
}
#content_container UL {
    margin: 1em;
}
#content_container OL {
    margin: 1em;
}
#content_container LI {
    margin: 0.2em;
    margin-left: 2em;
}
#content_container P {
    margin: 1em;
    margin-left: 1.25em;
}
#content_container pre {
    background-color: #dddddd;
    color: black;
    margin: 1em;
    margin-left: 2em;
}
#content_container DL {
    margin: 1em;
    font-weight: bold;
    padding-left: 1em;
}
#content_container DT {
    padding-top: 0.5em;
}
#content_container DD {
    margin: 0.2em;
    font-weight: normal;
    padding-left: 1em;
    padding-right: 1em;
}

/* Links */
A:active {
    text-decoration: none;
    font-weight: bold;
    color: black;
}
A:link {
    text-decoration: none;
    font-weight: bold;
    color: black;
}
A:visited {
    text-decoration: none;
    font-weight: bold;
    color: black;
}
A[HREF]:hover {
    color: red;
}
A:link IMG, A:visited IMG {
    border-style: none;
}

/* Floating boxes are calculated in ems */
#float_1 {
    top: 2em;
    left: 0em;
    background-color: #dddddd;
}
#float_2 {
    top: 2em;
    left: 22em;
    background-color: #cccccc;
}
#float_3 {
    top: 2em;
    left: 44em;
    background-color: #bbbbbb;
}
#float_4 {
    top: 24em;
    left: 0em;
    background-color: #bbbbbb;
}
#float_5 {
    top: 24em;
    left: 22em;
    background-color: #cccccc;
}
#float_6 {
    top: 24em;
    left: 44em;
    background-color: #dddddd;
}
.float_cell {
    width: 20em;
    height: 20em;
    position: absolute;
}
.float_header {
    margin-top: 6pt;
    font-size: 12pt;
    font-weight: bold;
    text-align: center;
}
#float_1 P {
    margin-left: 1em;
    margin-right: 1em;
}
#float_2 P {
    margin-left: 1em;
    margin-right: 1em;
}
#float_3 P {
    margin-left: 1em;
    margin-right: 1em;
}
#float_4 P {
    margin-left: 1em;
    margin-right: 1em;
}
#float_5 P {
    margin-left: 1em;
    margin-right: 1em;
}
#float_6 P {
    margin-left: 1em;
    margin-right: 1em;
}