h1, h2 , h3 {
	color: #FFFFFF;
	font-family: Arial, Helvetica, sans-serif;
	margin: 1em 0;
}

h1 {
	background: #003030;
	font-size: 1.2em;
	font-weight: bold;
	padding: 5px;
}

h2 {
	background: #006060;
	font-size: 1.1em;
	font-weight: normal;
	padding: 3px 5px;
}

h3 {
	background: #332282;
	font-size: 1em;
	font-weight: normal;
	padding: 2px 5px;
}

h4 {
	font-size: 1.1em;
}

#menu li {
	font-size: 0.84em;
	font-weight: normal;
	margin: 0 0 0.5em 2em;
}

#menu p {
	color: white;
	font-weight: bold;
	margin: 0.5em;
}

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

@media print {
	#menu, #jakarta-logo {
		display: none;
	}	
}