html, body {
    margin-top: 2px;
    margin-bottom: 0px;
    margin-left: 0px;
    margin-right: 0px;
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 0px;
    padding-right: 0px;
    font-family: Arial, Helvetica, Geneva, Sans-Serif;
    font-size: 11pt;
    color: #000;
}

div#main {
    margin-top: 0px;
}

div#top {
    margin-bottom: 2em;
}

div#left {
    float: left;
    margin-top: 0em;
    padding-left: 0.25em;
    width: 10.7em;
    overflow: hidden;
    font-size: 90%;
    font-weight: bold;
}

div#center {
    margin-left: 9em;
    margin-top: 0em;
    background-color: #fff;
}

div.scaffoldHead b {
	font-weight: normal;
	text-decoration: underline;
}

li ul li {
    padding-bottom: 0;
}

ul li {
    padding-bottom: 0.5em;
}

ul {
    margin-bottom: 0.5em;
    margin-left: 0em;
    padding-left: 2em;
}

ol li {
    padding-bottom: 0.5em;
}

ol {
    margin-bottom: 0.5em;
}

div#left ul {
    list-style: none;
    padding-left: 0.25em;
}

div#left li ul {
    list-style: none;
    padding-left: 0.7em;
}

div#left ul li {
    padding-bottom: 0;
}

div#left a {
    color: #aaa;
}

div#left a:link {
    color: #cb6532;
    text-decoration: none;
}

div#left a:visited {
    color: #cb6532;
    text-decoration: none;
}

div#left a:hover {
    color: #000;
    text-decoration: underline;
}

a.headerLink:link {
    color: #cb6532;
    font-weight: bold;
    font-size: 90%;
    text-decoration: none;
    padding-left: 1em;
    padding-right: 1em;
}

a.headerLink:hover {
    color: #cb6532;
    font-weight: bold;
    font-size: 90%;
    text-decoration: underline;
    padding-left: 1em;
    padding-right: 1em;
}

a.headerLink:visited {
    color: #cb6532;
    font-weight: bold;
    font-size: 90%;
    text-decoration: none;
    padding-left: 1em;
    padding-right: 1em;
}

a img {
    border: 0;
}

div.content {
    padding-top: 0em;
    margin-left: 1em;
    width: 44em;
    border-left: 1px solid #aaa;
    padding-left: 1.5em;
}

div.contentBottom {
    white-space: nowrap;
    padding-top: 0.5em;
    margin-top: 1.5em;
    margin-left: 2.5em;
    padding-bottom: 1em;
    width: 44em;
    text-align: center; 
    border-top: 1px solid #aaa;
    color: #999;
}

div.content h1 {
    margin-top: 1.5em;
    margin-bottom: 0.6em;
    font-size: 1.5em;
    color: #000;
    border-top: 2px solid #aaa;
    padding-top: 0.12em;
}

div.content h2 {
    margin-top: 1.5em;
    margin-bottom: 0.6em;
    font-size: 0.9em;
    color: #000;
    border-top: 1px solid #aaa;
    border-left: 0.7em solid #aaa;
    padding-top: 0.2em;
    padding-left: 0.5em;
}

div.content h3 {
    margin-top: 0.5em;
    margin-bottom: 0.3em;
    font-size: 0.9em;
    color: #000;
    padding-top: 0.1em;
}

div p {
    margin-top: 0px;
}

.code {
    font-family: Sans-Serif;
    font-size: 1.1em;
}

pre.commandline {
    font-family: monospace, Sans-Serif;
    font-size: 0.9em;
    margin-left: 1em;
    margin-right: 1em;
    padding-left: 2.5em;
    padding-top: 0.25em;
    padding-bottom: 0.25em;
    padding-right: 0.5em;
    text-indent: -2em;
    overflow: visible;
    white-space: wrap;
    color: #000;
    border: 3px double #aaa;
}

pre.commandline b {
    background-color: #ffffd0;
    font-weight: normal;
}

pre.console {
	width: 46em;
    font-family: monospace, Sans-Serif;
    font-size: 0.9em;
    margin-left: 1em;
    margin-right: 1em;
    padding-top: 0.25em;
    padding-bottom: 0.25em;
    padding-right: 0.5em;
    overflow-x: scroll;
    white-space: wrap;
    color: #dfcf97;
    background-color: #333;
    border: 3px double #aaa;
}

span.code {
    font-weight: bold;
}

.sourcecode dt {
    font-family: monospace, Sans-Serif;
    font-size: 0.9em;
    font-weight: bold;
    margin-bottom: 0px;
    margin-left: 1em;
    margin-right: 1em;
    padding-left: 0.5em;
    padding-top: 0.25em;
    padding-bottom: 0.25em;
    font-weight: bold;
    background-color: #dadfef;
    border-top: 1px solid #779;
    border-left: 1px solid #779;
    border-right: 1px solid #779;
}

.sourcecode dd {
    margin-left: 0px;
    padding-bottom: 0px;
}

.sourcecode dd pre {
    font-family: monospace, Sans-Serif;
    font-size: 0.9em;
    letter-spacing: -0.05em;
    margin-top: 0px;
    margin-left: 1em;
    margin-right: 1em;
    padding-left: 0.5em;
    padding-top: 0.25em;
    padding-bottom: 0.25em;
    border: 1px solid #779;
    background-color: #f0f7ff;
}

.sourcecode .denoteScaffold {
    color: #060;
    font-style: italic;
}

.sourcecode b {
    background-color: #ffffe7;
    font-weight: normal;
}

.filelist dt {
    font-family: monospace, Sans-Serif;
    font-size: 0.9em;
    font-weight: bold;
    margin-bottom: 0px;
    margin-left: 1em;
    margin-right: 1em;
    padding-left: 0.5em;
    padding-top: 0.25em;
    padding-bottom: 0.25em;
    font-weight: bold;
    background-color: #e7e7e7;
    border-top: 1px solid #aaa;
    border-left: 1px solid #aaa;
    border-right: 1px solid #aaa;
}

.filelist dd {
    margin-left: 0px;
    padding-bottom: 0px;
}

.filelist dd pre {
    font-family: monospace, Sans-Serif;
    font-size: 0.9em;
    letter-spacing: -0.05em;
    margin-top: 0px;
    margin-left: 1em;
    margin-right: 1em;
    padding-left: 0.5em;
    padding-top: 0.25em;
    padding-bottom: 0.25em;
    border: 1px solid #aaa;
    background-color: #f7f7f7;
}

.filelist b {
    background-color: #ffffe7;
    font-weight: normal;
}

dt {
    font-size: 90%;
    font-weight: bold;
}

dd {
    padding-bottom: 0.5em;
}

@media print {
    /* nix the nav */
    div#left {
        width: 0em;
        padding-left: 0em;
        overflow: hidden;
    }

    div#center {
        margin-left: 0em;
    }

	div#pagenav {
		width: 0em;
		height: 0em;
		overflow: hidden;
	}

    div.content {
        margin-left: 0em;
        padding-left: 0em;
        border-left: none;
    }

    div.contentBottom {
        margin-left: 0em;
    }
}