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

body {
	background-color: #ECE9D8 ;
	color: #262626 ;
	font-family: verdana ;
	font-size: 62.5% ;
	}
	
div#fileframe {
	background-color: #F5F5F5 ;
	float: left ;
	height: 78% ;
	overflow: auto ;
	width: 25% ;
	}
	
div#contentframe {
	background-color: #FFFFFF ;
	background-image: url( "./content_background.gif" ) ;
	background-position: left top ;
	background-repeat: repeat-y ;
	float: left ; 
	height: 78% ;
	overflow: auto ;
	width: 75% ;
	}

div#header {
	background-color: #3684A9 ;
	background-image: url( "./header_background.jpg" ) ;
	background-position: left bottom ;
	background-repeat: repeat-x ;
	color: #FFFFFF ;
	padding: 20px 20px 20px 20px ;
	}

h1 {
	margin: 0px 0px 0px 0px ;
	font-size: 2.0em ;
	font-weight: 400 ;
	line-height: 1.0em ;
	padding: 0px 0px 0px 0px ;
	}

div#filetree {	
	font-size: 1.1em ;
	line-height: 1.1em ;
	padding: 10px 5px 10px 5px ;
	}
	
div#filetree ul {
	margin: 0px 0px 0px 0px ;
	padding: 0px 0px 0px 0px ;
	list-style-type: none ;
	}
	
div#filetree ul ul {
	display: none ;
	margin-left: 20px ;
	}
	
div#filetree ul a {
	background-color: #F5F5F5 ;
	background-position: left 50% ;
	background-repeat: no-repeat ;
	border: 1px solid #F5F5F5 ;
	color: #000000 ;
	display: block ;
	margin: 0px 0px 2px 0px ;
	padding: 3px 25px 3px 25px ;
	text-decoration: none ;
	}
	
div#filetree ul a.file {
	background-image: url( "./file.gif" ) ;
	}
	
div#filetree ul a.dir {
	background-image: url( "./dir.gif" ) ;
	}
	
div#filetree ul a.selected {
	background-color: #F2F0E6 ;
	border-color: #CAC193 ;
	color: #FC7215 ;
	}
	
div#content {
	padding: 10px 20px 10px 20px ;
	}
	
h2 {
	margin: 0px 0px 1.0em 0px ;
	font-size: 1.6em ;
	line-height: 1.0em ;
	padding: 0px 0px 0px 0px ;
	}
	
pre {
	font-family: monospace, verdana ;
	font-size: 1.1em ;
	line-height: 1.4em ;
	}
	
div.clear {
	background-color: #CAC193 ;
	clear: both ;
	height: 2px ;
	line-height: 2px ;
	overflow: hidden ;
	}
	
div#footer {
	padding: 10px 10px 10px 10px ;
	}
	
div#footer p {
	margin: 0px 0px 0px 0px ;
	padding: 0px 0px 0px 0px ;
	}
	
a {
	color: #FC7215 ;
	}

/* Hacks */

* html div#filetree a {
	height: 1px ;
	}