/* For css debugging: see all boxes */
/*
* {
   border: 1px solid red !important;
   margin-left: 0px;
   margin-right: 0px;
}
    */

body, table, div, p, dl {
    font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
    font-size: 0.9em;
}

h1, h2, h3 {
    margin: 0.25em 0 0.15em 0;
    width: 75%;
}
.header {
    color: yellow;
}
h1.header {
    margin: 1em;
    font-size: 200%;
}
h1 {
    font-size: 150%;
}
h2 {
    font-size: 120%;
}
h3 {
    font-size: 100%;
}
p.footer {
    margin: 0.5em 2em 0.5em 0.5em;
    font-size: 80%;
    text-align: right;
}
.highlight, .hl {
    background-color: yellow;
    background-color: #faf61b;
}

#header {
    float: left;
    position: fixed;
    top: 0;
    left: 0;
    margin: 0;
    padding: 0;
    width: 100%;

    /* in case gradient doesn't work */
    background: black;
    /* gradient backgrounds */
    filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#777777', endColorstr='#000000'); /* for IE */
    background: -webkit-gradient(linear, left top, left bottom, from(#777777), to(#000000)); /* for webkit browsers */
    background: -moz-linear-gradient(top,  #777777,  #000000); /* for firefox 3.6+ */ 
}

#topNav {
    float: left;
    width: 100%;
    color: white;
    background: #00007a;
}
p.topNav {
    float:left;
    font-weight: bold;
    margin: 0 1em 0.5em 1em;
}
a.topNav:link    { color:white; text-decoration:none; }
a.topNav:visited { color:white; text-decoration:none; }
a.topNav:hover   { color:#81E01B; text-decoration:none; }
a.topNav:active  { color:red; text-decoration:none; }

.content Iframe { 
    width:100%; 
    height:100%;
}

.bottom Iframe {
    z-index: -100;
}

#leftNav {
    float: left;
    position: fixed;
    top: 9em;
    left: 0;
    margin: 0;
    padding: 1em;
    width: 25%;
    overflow: auto;
}

#content {
    float: right;
    position: relative;
    z-index: -1;
    top: 9em;
    margin: 0;
    padding: 1em;
    width: 65%;
    overflow: auto;
}

#footer {
    float: left;
    position: fixed;
    bottom: 0;
    left: 0;
    margin: 0;
    padding-left: 1em;
    width: 100%;
    border-top: 1px solid #999;
    background: #ddd;
    color: #777;
}