/* directory.css */

html {
	background:  transparent;
	background-attachment: fixed;
	padding: 1em;
}

body  {
	background:  #e4dfd9 url(../bg5.jpg) repeat;
	background-attachment: fixed;
	color: #000000;
	font-family: "Trebuchet MS", Arial, Helvetica, Geneva, Sans-Serif;
	font-size: 100%;
	margin-top: 6em;
	margin-bottom: 10em;
	margin-left: .3em;
	margin-right: .3em;
	border-style: none;
}

#doc_header {
	background:  #e4dfd9 url(../bg5.jpg) repeat;
	color: #225522;
	font-family: "Trebuchet MS", Arial, Helvetica, Geneva, Sans-Serif;
	font-size: 90%;
	font-weight: normal;
	left: 0em;
	right: 0em;
	top: 0em;
margin-left: -7em;
	position: fixed;
	width: 100%;
}

hr {
height: 0px;
}

pre {
border-bottom:  1px solid #006600;
}