#explorer {
	position: absolute;
	right: 0.5em;
	bottom: 0.5em;
	top: 2.5em;
	border: 2px outset #0099cc;
	border-radius: 8px 8px 8px 8px;
	width: 23em;
}

#explorer h3 {
	position: relative;
	font-size: 1em;
	padding: 0.5em 0 0.2em 0em;
	text-indent: 1em;
	margin: -3px 0 0em 0;
	width: 100%;
	display: block;
	background-color: #0099cc;
	color: white;
	cursor: pointer;
	border-bottom: 2px outset #0099cc;
	border-radius: 8px 8px 0 0;
}

#explorer > ul {
	position: absolute;
	top: 4em;
	bottom: 0;
	border-radius: 8px 8px 8px 8px;
	
}

#explorer ul {
	display: block;
	margin: 0;
	width: 23em;
	padding: 0em 0 1em 0em;
	list-style-type: none;
	overflow: auto;
	background-color: #fff;
}

#explorer ul li a:hover {
	font-size: 1.6em;
	font-weight: bold;
}

#explorer ul li {
	margin: 0;
	padding: 0;
	display: block;
	cursor: pointer;
}

#explorer ul ul {
	display: none;
	margin: 0;
	padding: 0 0 0em 0;
	overflow: visible;
	height: auto;
	width: auto;
}

#explorer ul ul li {
	padding: 0 0 0 0.75em;
}

#explorer .dir {
	color: #FF9933;
	font-weight: bold;
	display: block;
	padding: 0.15em 0.5em;
	margin: 0;
}


#explorer li a {
	display: block;
	margin: 0px;
	padding: 0.15em 0 0.15em 0.5em;
	text-decoration: none;
}

#explorer .php {
	color: #ff6666;
}

#explorer .html {
	color: #0099ff;
}

#explorer .css {
	color: #dd9900;
}

#explorer .js {
	color: #00dd99;
}

#explorer li:hover>a {
	background-color: #eee;
}

#explorer a:hover {
	background-color: #eee;
}

#explorer a:active {
	margin: 0 1px;
	text-indent: 0.25em;
}