body
{
    color: rgb(0, 0, 0);
		background-color: #f0f8ff;
    font-family: sans-serif;
    font-size: 14px;
}


h1
{
    clear: both;
    padding-top: 2em;
    font-size: 16px;
}

h2
{
    font-size: 14px;
    font-weight: bold;
}


div.main
{
    clear: both;
		margin-left: 5%;
		margin-right: 20%;
}


table
{
		font-size: 12px;
    border-bottom: 1px solid black;
    border-right: 1px solid black;
}

td, th
{
    border-top: 1px solid black;
    border-left: 1px solid black;
}


li
{
    margin-top: 0.5em;
}


.keymap
{
    margin-left: 40px;
		float: left;
}


#keymap span
{
   border: 1px;
}


#menu {
  clear: both;
	float: left;
	width: 100%;
	margin: 0;
	padding-left: 0;
	border-bottom: 1px solid #333;
	}

#menu li {
	float: left;
	margin: 0; 
	padding: 0;
	display: inline;
	list-style: none;
	}
	
#menu a:link, #menu a:visited {
	float: left;
	font-size: 85%;
	line-height: 20px;
	font-weight: bold;
	margin: 0 0 0 20px;
	text-decoration: none;
	color: #999;
	}

#menu a.active:link, #menu a.active:visited, #menu a:hover {
	border-bottom: 4px solid #333;
	padding-bottom: 2px;
	color: #333;
	}