html	{	width: 100%;
			margin: 0px;
			font-size: small;
			font-family: sans-serif;
			background-color: rgb(128,125,116); }

#header	{	width: 50%;
			margin: 10px auto 0px auto; padding: 0px;
			text-align: right; }
	
	.title	{	float: left; }
	
	.toplink
			{	padding: 0px 10px;
				cursor: pointer;
				background-color: rgb(234,232,227); }
	
#container
		{	width: 50%;
			margin: 0px auto;
			padding: 0px 10px 25px 10px;
			border: 1px solid black;
			background-color: rgb(234,232,227); }

p		{	margin: 0px; padding-top: 10px; }

pre		{	margin: 10px 0px; padding: 5px;
			border: 1px solid rgb(186,181,171);
			background-color: white; }

form	{	margin: 10px 0px; padding: 5px;
			border: 1px solid rgb(186,181,171);
			background-color: white; }

.level1	{	margin-top: 25px;
			font-size: large; }

.sublevel
		{	font-size: medium;
			margin-left: 15px;
			padding-left: 15px;
			border-left: 1px dotted rgb(128,125,116); }

.description
		{	padding: 3px; margin: 2px; 
			border: 1px solid rgb(186,181,171);
			font-size: small;
			background-color: white; 
			display: none; }

#dir	{	margin: 10px 0px; padding: 5px;
			border: 1px solid rgb(186,181,171);
			background-color: white; }

ul		{	margin: 0px; padding-left: 20px; }

a		{	color: black; 
			text-decoration: none; }

a:hover	{	color: rgb(86, 82, 72);
			text-decoration: underline;  }

a.title	{	font-style: italic;
			color: rgb(234,232,227); }

a.title:hover
		{	text-decoration: none; }

a.text	{	font-style: italic; }