* {
	font-size: 11px;
        font-family: sans-serif;
}

a {
	font-weight: bold;
	font-decoration: underline;
}

a:link,a:visited {
	color: #336699;;
}

a:hover {
	color: #990000;
}

body {
	margin-top: 0px;
	margin-left: 80px;
	margin-right: 80px;
}

div#hormenu {
	float: right;
	margin: 0;
	padding: 0;
	background-color: #336699;
}

div#hormenu ul {
	margin: 0;
	padding: 0;
	list-style-type: none;
}

div#hormenu li {
	width: 100px;
	float: left;
	margin: 0;
	padding: 0;
	color: black;
}

div#hormenu ul a {
	display: block;
	padding: 5px;
	color: #ffffff;
	text-decoration: none;
}

div#hormenu ul ul a {
	color: #336699;
}

div#hormenu a:hover {
	background-color: #6699cc;
	color: #ffffff;
	text-decoration: none;
}

div#hormenu li ul {
	display: none
}

div#hormenu li:hover ul {
	display: block;
	position: absolute;
	z-index: 1;
	width: 150px;
	padding: 0;
	margin: 0 0 0 -1px;
	border: 1px solid black;
	background: white;
}

div#hormenu li li {
	border: none;
	width: 150px;
}

div#hormenu li li a {
	padding: 2px 2px 2px 10px;
}


div#main {
	border: 1px solid #336699; 
	background-color: #deedff;
	padding: 10px;
}

div#main #mainTitle{
	margin-top: -20px;
	margin-left: -30px;
	margin-bottom: 30px;
}

div#main #mainTitle span {
	font-weight: bold;
	border: 1px solid #336699;
	padding-top: 5px;
	padding-bottom: 5px;
	padding-left: 15px;
	padding-right: 15px;
	background-color: #ffffff;
	font-size: 14px;
}


table {
	border-collapse: collapse;
}

td {
	border: 1px solid black;
	background-color:white;
	padding: 4px;
}

th {
	font-weight: bold;
	padding-left: 20px;
	padding-right: 20px;
}

.warn {
	color: red;
}

.deprecated {
	color: red;
	text-decoration: line-through;
}