html {
	height  : 100%;
	margin  : 0;
	padding : 0;
}

body {
	height  : 100%;
	margin  : 0;
	padding : 0;
	font-family : Verdana,Arial;
	font-size   : 9pt;
	background-position : -3px 0px;
	background-image : url("../images/nav_bg.jpg");
	background-repeat : repeat-y;
}

h1 {
	font-size     : 140%;
	font-weight   : bold;
	padding       : 0;
	margin        : 0;
	margin-top    : 20px;
	margin-bottom : 10px;
}

h2 {
	font-size     : 125%;
	font-weight   : bold;
	padding       : 0;
	margin        : 0;
	margin-top    : 20px;
	margin-bottom : 10px;
}

h3 {
	font-size     : 110%;
	font-weight   : bold;
	padding       : 0;
	margin        : 0;
	margin-top    : 20px;
	margin-bottom : 10px;
}

p {
	padding       : 0;
	margin        : 0;
	margin-top    : 15px;
	margin-bottom : 5px;
}

div#container {
	width   : 100%;
	height  : 100%;
}

div#headerJavalid {
	position         : relative;
	height           : 90px;
	background-color : rgb(160,200,100);
  z-index          : 5;
  border-bottom    : 1px solid rgb(60,100,0);
  width            : 100%;
}

div#headerJavalid div#headerJavalidTitle {
	margin-top       : 10px;
	margin-left      : 10px;
	padding-right     : 25px;
	float            : right;
	font-size        : 240%;
	font-weight      : bold;
}

div#navbar {
	position         : absolute;
	left             : 0;
	top              : 0;
	bottom           : 0;
	height           : 100%;
	width            : 150px;	
	background-color  : rgb(190,230,130);
	border-right     : 1px solid rgb(60,100,0);
	z-index          : 1;
}

div#contentJavalid {
	position         : absolute;
	top              : 90px;
	left             : 150px;
	z-index          : 2;
}

div#contentJavalid_margin {
	margin-left			 : 15px; 
	margin-right     : 30px;
}

div#menu {
	margin-top       : 138px;
	margin-left      : 4px;
	margin-right     : 4px;
	background-color : rgb(160,200,100);
	border-top       : 1px solid rgb(60,100,0);
	border-left      : 1px solid rgb(60,100,0);
	border-right     : 1px solid rgb(60,100,0);
}

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

div#menu ul li {
	margin           : 0;
	padding          : 0;
	border-bottom    : 1px solid rgb(60,100,0);
}

div#menu a {
  color           : rgb(40,80,0);
  font-weight     : bold;
  text-decoration : none;
  display         : block;
  text-indent     : 3px;
  padding-right   : 3px;
}

div#menu a:hover {
  background-color : rgb(210,250,150);
  color           : rgb(40,80,0);
}