body { 
	background:white;
    margin-left:2%;
    margin-right:2%;
}

h1 {
	color:#000088;
	font-size:2em;
	padding:2;
	border-top:0px;
	border-right:0px;
	border-bottom:1px solid #000088;
	border-left:0px;
 	text-align:left;
}

h2 {
	color: #ffffff;
	background-color: #8888cc;
	padding-left: 4;
	padding-top: 2;
	padding-bottom:2;
	width: 100%;
	border-top: 2px solid #4444bb;
	border-bottom: 2px solid #4444bb;
	font-weight: bold;
}

h3 {
	border-top:0px;
	border-right:0px;
	border-bottom:1px solid gray;
	border-left:0px;
	font-size:1em;
}

pre {
	margin-left: 15pt;
    margin-right: 20pt;
    margin-bottom: 5pt;
    margin-top: 5pt;
	color: #ffffff;
    background: #446688;
	padding:1em; 
    border: 2px solid #ccccff;
    white-space: pre;
}

pre.icode {
	margin-left: 15pt;
    margin-right: 20pt;
    margin-bottom: 5pt;
    margin-top: 5pt;
	color: #ffffff;
    background: #446688;
	padding:1em; 
    border: 2px solid #ccccff;
    white-space: pre;
    height:200px; 
    width: 95%;
    overflow:auto;
}


pre.dir {
	margin-left: 15pt;
    margin-right: 20pt;
    margin-bottom: 5pt;
    margin-top: 5pt;
	color: #000000;
    background: #ffffff;
	padding:1em; 
    border: 2px solid #ccccff;
    white-space: pre;
}



pre.out {
	margin-left: 15pt;
    margin-right: 20pt;
    margin-bottom: 5pt;
    margin-top: 5pt;
	color: #ffffff;
    background: #000000;
	padding:1em; 
    border: 2px solid #ccccff;
    white-space: pre;
}


dt { 
	margin-left:10pt; 
	line-height:1.2em;
}

dd { 
	margin-left:10pt; 
	margin-right:30pt; 
	padding: 0.5em 2em;
}

th {
	background: #CCCCFF
}

/*
ul {
    margin-bottom: 0pt;
	list-style-image:url(img/icon.gif); 
}
*/

.unknown { color : red; }
.note { font-size: 0.8em; 
	color:#888888;
}
.comment { font-size: 0.8em; 
	color:#888888;
}
.ct { font-size: 0.8em; 
	color:#888888;
}
.at {
	color:#ff0000;
}
.navigation { margin-top:0pt; margin-bottom:0pt; }
.image { text-align:center; }