body {
	background-color: #f4f4f4;
	margin: 15px 20px 5px 10px;
	padding: 0;
	font-family: georgia, times, serif;
	font-size: 12px;
	}
p {
	text-align: justify;
	line-height: 1.3em;
	}
h1 {
	margin: 0 35px;
	border-bottom: 1px solid #999;
	font-size: 180%;
	text-align: center;
	}
h2 {
	margin: 3px 0;
	font-size: 140%;
	}
acronym {
	border: 0;
	font-style: normal;
	}
div {
	border-bottom: 1px solid #999;
	margin-top: 20px;
	margin-bottom: 10px;
	}
ul {
	margin: 0 0 10px 0;
	padding: 0 10px;
	list-style: circle inside;
	}
a, a:visited, a:active {
	color: #944;
	}
a:hover {
	color: #f55;
	}

.code {
	font-family: courier, mono-space;
	}
	
div.code {	
	background-color: #fff;
	border: 0;
	margin: 0 20px;
	padding: 3px 10px;
	white-space: pre;
	}
div.code a, div.code a:visited, div.code a:active {
	font-family: georgia, times, serif;
	font-size: 11px;
	color: #944;
	line-height: 3em;
	}
div.code a:hover {
	color: #f77;
	}

span.code {
	}

span.term {
	font-weight: bold;
	color: #833;
	}

span.new {
	font-weight: bold;
	}

table {
	width: 80%;
	margin: 0 10px;
	}
td {
	background-color: #ddd;
	border: 1px solid #666;
	padding: 2px 4px;
	margin: 2px;
	vertical-align: top;
	}
td.code {
	width: 25%;
	background-color: #fff;
	text-align: right;
	}

#footer {
	border: 0;
	margin: 0;
	text-align: center;
	}