html {
	background:	#EEEEEE;
	font-family:	"Bitstream Vera Sans",
			"DejaVu Sans",
			"Vera Sans",
			Helvetiva,
			sans-serif;
	font-size:	80%;

	margin:		0 auto 0 auto;
	width:		800px;
}

body {
	padding:	0 0 0 0;
}

h1 {
	font-variant:	small-caps;
	font-weight:	normal;
	font-size:	100%;
}

div.head {
	border-bottom:	2px solid #3300cc;
	margin:		0 102px 0 0;
}

div.main {
	min-height:	8em;
	border-right:	2px solid #3300cc;	
	margin:		0 102px 0 0;
	padding:	5px 5px 5px 0;
}

div.main ul {
	margin-left:	0;
	padding:	0;
	list-style-position: inside;
}

div.main li,
div.main p {
}

div.foot {
	border-right:	2px solid #3300cc;	
	margin:		0 102px 0 0;
	padding:	15px 5px 5px 0;
	font-size:	95%;
	font-style:	italic;
	width:		100%
}

div.menu {
	width:		100px;
	float:		right;
	margin:		5em 0 0 0;
	background:	#CCFFCC;
}

div.menu ul {
	list-style:	none;
	margin:		0;
	padding:	0;
}

div.menu li {
	list-style:	none;
	margin:		0;
	padding:	0;
}

div.menu b {
	font-weight:	normal;
	display:	block;
	width:		140px;
	padding:	3px 5px 3px 5px;

	border:		2px solid #3300cc;
	border-left:	2px white;
}

div.port {
	font-size:	10px;
	float:		right;
	width:		102px;
	margin:		1em 0 0 0;
	background:	#EEEEEE;
	padding:	0;
	border:		2px solid #3300cc;
	border-left:	2px white;
}

div.port img {
  margin: 3px 2px 3px 1px;
}


div.addr address {
	font-style:	normal;
	margin:		5px 0 5px 0;
	font-size:	12px;
}

div.addr p {
	margin:		5px 0 5px 0;
	font-size:	10px;
}

div.addr a:link, 
div.addr a:hover,
div.addr a:active {
	text-decoration: none;
	color:		black;
}

.fileinfo {
	font-size:	66.66667%;
	color:		#888;
}