body {
	font-size: 14pt;
	padding-right: 2em;
	padding-left: 2em;
}

h1 {
	margin-top: 2em;
}

h2 {
	margin-top: 1.5em;
}

h3 {
	margin-top: 1.5em;	
}

h4 {
	padding-bottom: 0em;
	margin-bottom: 0em;
}

div.navigation {
	background-color: #ddd;
	padding: 3px 15px 3px 15px;	
	border-top: 1px solid #000;
	border-right: 1px solid #000;
	border-bottom: 0;
	border-left: 1px solid #000;
	margin-bottom: 0;
}

div.navigation_sub {
	padding: 3px 15px 3px 15px;
	border: 1px solid #000;
	border-top: 1px solid #ddd;
	border-right: 1px solid #000;
	border-bottom: 0;
	border-left: 1px solid #000;
	padding-top: 0;
	margin: 0;
}

div.navigation_end {
	border-top: 2px solid #000;	
	text-align: right;
	padding: 3px 10px;
}

ul.navigation, ul.navigation_sub {
	padding: 0;
	margin: 6px;
}

ul.navigation li, ul.navigation_sub li {
	display: inline;
	padding: 1px;
	line-height: 1.2em;
}

.construct {
	color: #f00;
}

ol.unnumbered {
	list-style: none;
}

.upperalpha {
	list-style: upper-alpha;
}

.small {
	font-size: 	small;
}

ul, ol {
	margin-top: .6em;	
}

li {
	margin-bottom: .6em;
}

.subsection {
	margin-left: 2em;
}

td {
	vertical-align: top;
}

.right {
	text-align: right;
}

.grey {
	color: #888;
}

.simbraille {
	font-family: simbraille, simbrl, braille, brl, courier;
	font-size: 18pt;
}

#currentpage {
	background-color: #ffa;
}

a img {
	border: 0;
}

dt {
	font-weight: bold;
}

dd + dt {
	margin-top: 0.5em;
}

th {
	background-color: #888;
}