body { 
    background-color: #FFFFFF;
    font-family: arial, helvetica, sans-serif;  
}

/* General link decorations. */
a {
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

/* Page layout. */

html, body {
    height: 100%;
    margin: 0;
    padding: 0;
}

#body-container {
    min-height: 100%;
    position: relative;
}
#footer-padding {
    clear: both;
    padding-bottom: 83px;
}
#footer {
    position: absolute;
    bottom: 0;
    width: 100%;
}

#main-wrapper {
    float: left;
    width: 100%;
}

#trail, #main {
    margin-left: 10em;
    margin-right: 160px;
}

* html #main-wrapper { /* IE 5 and 6 hack */
    display: inline;
}
	  
#pagelist {
    float: left;
    margin-left: -100%;
    width: 10em;
}

#otherinfo {
    float: left;
    margin-left: -155px;
    width: 150px;
}
      
#footer {
    clear: both;
}

#footer div { 
    padding-left: 10em;
    padding-right: 150px;
}

/* Page list formatting. */

#pagelist div {
    padding: 0 0.5em;
}

#pagelist h3 {
    display: none;
}

#pagelist div.pagegroup {
    padding: 0;
    margin: 0;
}

#pagelist ul {
    list-style-type: none;
    padding: 0;
    margin: 0;
}

#pagelist p {
    margin: 0;
}

#pagelist li {
    margin: 0;
}

#pagelist a, #pagelist p {
    display: block;
    background-color: #0000FF;
    color: #FFFF00;
    padding-top: 3px;
    padding-bottom: 3px;
    border-bottom: 1px solid #FFFFFF;
    width: 7.5em;
    padding-left: 0.5em;
    padding-right: 1em;
}

#pagelist li li a, #pagelist li li p {
    display: block;
    background-color: #0000FF;
    color: #FFFF00;
    border-bottom: 1px solid #FFFFFF;
    padding-left: 1.5em;
    padding-right: 0em;
}

#pagelist a {
    text-decoration: none;
}

#pagelist a:hover {
    background-color: #8888FF;
    color: #FFFF00;
    
}

#pagelist .titlepage {
    font-weight: bold;
}

#pagelist .thispage {
    background-color: #6666FF;
    color: #FFFF00;
}


/* Main area formatting. */

#main {
    background-color: #F0F0F0;
    padding: 10px;
    border-style: solid;
    border-color: #0000FF;
    border-width: 5px;
}

/* Other info formatting. */

#otherinfo div {
    width: 100%;
    margin-left: 0;
    margin-right: 0;
}

/* Blue smooth background with yellow text. */
#header, #footer { 
    padding: 16px 0 0 0;
    background: #0000FF url(../images/bg_white_blue_1x16.png) scroll top repeat-x;
}

#header div, #footer div { 
    padding-top: 0;
    padding-bottom: 16px;
    background: #0000FF url(../images/bg_blue_white_1x16.png) scroll bottom repeat-x;
}

#header h1, #footer, #footer a { 
    color: #FFFF88;
}

/* Admonition settings. */

.admonition {
    background-color: #DDDDFF;
    color: black;
}