body {
	margin: 0px;
	padding: 0px;
	background: #ffffff;
	font: 100% "Trebuchet MS",Verdana,Arial,sans-serif
}

#header {
	float:top;
	padding: 6px 6px 6px 6px;
	background: #47a;
	color: #bbb;
	font: 20pt "Trebuchet MS",Verdana,Arial,sans-serif
}

#menu {
	border-top: 1px solid #135;
	border-bottom: 1px solid #135;
     float:top;
	background: #369;
	color: #000000;
	width: 100%;
	height: 1.5em;
	font: 76% "Trebuchet MS",Verdana,Arial,sans-serif
}

#menu ul {
	background: #369;
     padding-left: 0px;
	margin: 0px;
	list-style-type: none;
}

#menu ul li {
	border-left: 1px solid #369;
	border-right: 1px solid #369;
     float: left;
#	width: 40px;
	height: 1.5em;
     background: #369;
     padding-left: 2em;
     padding-right: 2em;
}

#menu ul li:hover {
     border-left: 1px solid #135;
     border-right: 1px solid #135;
	cursor: pointer;
     background: #47a;
	color: #ddd;
}

#menu ul li a {
	color: #cccccc;
	text-decoration: none;
}

#menu ul li a:visited {
	color: #cccccc;
	text-decoration: none;
	outline:none;
}

#main-area {
     float: left;
	clear: both;
	margin: 12px;
	height: 100%;
#	padding: 12px 12px 12px 12px;
}

#main-area p {
	padding-left: 12px;
}

.table-normal {
	border: 1px solid #999;
	margin-left: 24px;
	border-collapse: collapse;
}

.table-normal tr td {
	padding: 12px;
	border: 1px solid #999;
	background: #eee;
}

.variable-table {
     margin-left: 24px;
	border-collapse: collapse;
	width: 90%;
}

.variable {
     padding: 12px 12px 12px 12px;
	border-left: 2px solid #000;
	border-bottom: 1px dashed #ddd;
	background: #aaa;
	vertical-align: top;
}

.container {
     padding: 12px 12px 12px 12px;
	border-left: 2px solid #000;
	border-bottom: 1px dashed #ddd;
	background: #aaa;
	vertical-align: top;
}

.meaning {
     padding-left: 24px;
     padding-right: 24px;
	background: #888;
	border-bottom: 1px dashed #ddd;
	width: 50%
}

#bottom-area {
     padding-top: 30px;
     float: bottom;
	clear: both;
	text-align: center;
	color: #aaa;
	width: 100%;
	height: 12px;
	font: 76% "Trebuchet MS",Verdana,Arial,sans-serif
}

a {
	text-decoration: none;
	color: #079;
}

a:hover {
	text-decoration: underline;
	color: #079;
}

#monospaced {
	font: 90% monospace;
}