body{
	background: #8e8e8e url('../img/body-bg.gif') repeat-y center;
	font-family: sans-serif;
	font-size: 12pt;
}
.page{
	background-color: white;
	width: 944px;
	min-height: 720px;
	margin-left: auto;
	margin-right: auto;
	text-align: justify;
}
.footer{
	position: absolute;
	background-color: white;
    	text-align: center;
	left: 50%;
}
.copyright{
	position: absolute;
	left: -472px;
	width: 944px;
}
.login{
	width: 290px;
	height: 150px;
	background-color: #D8BFD8;
        border: 2px solid #4B0082;
        padding: 10px;
	text-align: center;
	margin-left: 10px;
}
.login p{
	margin:2px;
}
.hr{
	border-style: dotted;
	border-color: gray;
	border-width: 1px 0 0 0;
}
p{
	font-size: 12pt;
	margin-top: 5px;
}
div.indent{
	padding: 0 20px;
}
p.indent{
	margin: 20px;
	font-size: 0.8em;
	font-style: italic;
}
h3{
	margin-bottom: 5px;
}
pre{
	margin-left: 30px; 
	font-size: 0.8em;
}
.yellow pre{
	margin: 0;
}
img{
	border-width: 0;
}

ul{
	list-style: circle;
}
table.dl th{
	text-align: right;
}
ul.none{
	padding: 0;
	list-style: none outside;
	margin: 0;
}
ul.nonesmall{
	padding: 0;
	list-style: none outside;
	margin: 0;
}
ul.none li{
	padding: 2px 5px;
}
ul.nonesmall li{
        padding: 2px 5px;
	font-size: 0.8em;
}
li.prefix a{
	cursor: pointer;
}
li.prefix a:hover {
	background-color: #4B0082;
	color: white;
}
.purple h4, .yellow h4, .green h4, .red h4, .yellow p, .purple p, .green p, .red p{
	margin-top: 0;
	margin-bottom: 0;
}
.purple h3, .yellow h3, .green h3, .red h3, .results h3{
        margin-top: 0;
}
.purple h2, .yellow h2, .green h2, .red h2{
        margin-top: 0;
}
.copyright div{
	background-color: #D3D3D3;
        border-color: gray;
	border-style: dotted;
	border-width: 1px 0;
	font-size: 0.8em;
        padding: 5px;
}
.results{
	background-color: white;
	border: 2px solid black;
	padding: 10px;
}
.purple{
	background-color: #D8BFD8; 
	border: 2px solid #4B0082; 
	padding: 10px;
}
.yellow{
	background-color: #FFFFCC; 
	border: 2px solid #DAA520; 
	padding: 10px;
}
.green{
	background-color: #CCFFCC; 
	border: 2px solid green; 
	padding: 10px;
}
.red{
	background-color: #F08080;
        border: 2px solid red;
        padding: 10px;
}
table.border{
}
table.border td{
	border: 1px solid black; 
	padding: 10px; 
	text-align: center;
}
table.border td.label{
	border: 0;
	padding: 0;
	padding-bottom: 20px;
	margin: 0;
	font-weight: bold;
	vertical-align: top;
}
table.fill{
	border-spacing: 0;
}
table.fill td{
	border: 0;
	vertical-align: bottom;
	padding: 0;

}
table.key {
	font-size: 8pt;
}
table.key td.box{
	border: 1px solid black;
	width: 12px;
}
table.center td{
        text-align: center;
}
td.right{
        text-align: right;
}

table.listing{
        border-collapse: collapse;
        padding: 10px 3px;
}

table.listing th{
        background-color: gray;
        padding: 3px 10px;
}
table.listing td{
        padding: 1px 10px;
}
table.listing td.shade{
        background-color: #D3D3D3;
}
table.borders{
        border-collapse: collapse;
        border: 1px solid black;
}
table.borders th{
        background-color: #e0e0e0;
        border: 1px solid black;
	padding: 5px;
	text-align: center;
}
table.borders td{
        vertical-align: top;
        border-color: black;
        border-style: solid;
        border-width: 1px;
	padding:5px;
}
ul.changelog li{
	padding-right: 25px;
	padding-bottom: 15px;
}
span.link{
	color: blue;
	text-decoration: underline;
	cursor: pointer;
	font-size: 0.7em;
}


.firstpage{
	background: url('/img/icons/first.gif') no-repeat center center;
	width: 13px;
}	
.prevpage{
        background: url('/img/icons/prev.gif') no-repeat center center;
	width: 12px;
}
.nextpage{
        background: url('/img/icons/next.gif') no-repeat center center;
	width: 12px;
}
.lastpage{
        background: url('/img/icons/last.gif') no-repeat center center;
	width: 13px;
}
.firstpage, .prevpage, .nextpage, .lastpage{
	cursor: pointer;
	padding: 3px;
}
.firstpage a, .prevpage a, .nextpage a, .lastpage a{
	text-decoration: none;
}
.nofirstpage{
        background: url('/img/icons/first-grey.gif') no-repeat center center;
	width: 13px;
}
.noprevpage{
        background: url('/img/icons/prev-grey.gif') no-repeat center center;
	width: 12px;
}
.nonextpage{
        background: url('/img/icons/next-grey.gif') no-repeat center center;
	width: 12px;
}
.nolastpage{
        background: url('/img/icons/last-grey.gif') no-repeat center center;
	width: 13px;
}
.nofirstpage, .noprevpage, .nonextpage, .nolastpage{
        padding: 3px;
}
.CodeMirror-wrapping{
	margin: 10px;
        border-top: 1px solid DarkGray;
	border-bottom: 1px solid #F0F0F0;
	border-left: 1px solid #F0F0F0;
	border-right: 1px solid #F0F0F0;
}