h1.dirindex
{
	border: 0;
	font-size: x-large;
	font-weight: bold;
	margin: 100px 0 1em 0;
	padding: 0;
}

.dirindex table
{
	background-color: #808080;
	background-image: url("/img/bottom-shadow.png");
	background-repeat: repeat-x;
	background-position: bottom left;
	color: white;
	font-size: small;
	margin: 0;
	padding: 1.2em 1.2em 35px 1.2em;
}

.dirindex a
{
	color: #d0d8ff;
	font-weight: bold;
	margin: 0;
	padding: 0;
}

.dirindex a:visited
{
	color: #d0d8ff;
	font-weight: bold;
	margin: 0;
	padding: 0;
}

.dirindex img
{
	margin: 0;
	padding: 0;
}

.dirindex th
{
	background-color: #505050;
	border-bottom: thin solid #a0a0a0;
	border-top: thin solid #a0a0a0;
	font-size: normal;
	padding: 1px 12px;
}

.dirindex td
{
	border-bottom: thin solid #606060;
	font-family: monospace;
	padding: 1px 12px;
}

.bodytext
{
	margin: 2.5em 0;
}