* {
	margin: 0;
	padding: 0;
	font-size: 1em;
}

html {
	font-family: 'DejaVu Sans', Verdana, sans-serif;
	font-size: 11px;

	background-color: black;
	color: white;
}

#container {
	margin: 2em auto;
	width: 60em;
	padding: 2em;

	border-radius: 1em;
	-moz-border-radius: 1em;
	-webkit-border-radius: 1em;

	background-color: white;
	color: black;
}

/* IE fixes - begin*/
html {
	text-align: center;
}

#container {
	text-align: left;
}
/* IE fixes - end */

h, label {
	display: block;

	text-align: center;
	margin: 1em 0;

	color: white;
	font-size: 2em;
	font-weight: bold;
	letter-spacing: 0.2em;
}

section {
	display: block;
}

section h, label {
	text-align: left;
	margin: 1em 0 0.4em;
	border-bottom: 0.1em solid black;

	color: black;
	font-size: 1.3em;
	letter-spacing: normal;

}

section section {
	margin-top: 1em;
	padding: 1em;

	border-radius: 1em;
	-moz-border-radius: 1em;
	-webkit-border-radius: 1em;

	box-shadow: 0.4em 0.4em 0.2em #888;
	-moz-box-shadow: 0.4em 0.4em 0.2em #888;
	-webkit-box-shadow: 0.4em 0.4em 0.2em #888;

	background-color: #CADCEB;
}

section section h {
	margin: 0 0 0.3em;
	border: 0;

	font-size: 1.2em;
}

section section section {
	background-color: white;
	margin-bottom: 1em;
}

.inactive {
	background-color: #CCC;
}

.hidden {
	display: none;
}

dt {
	font-weight: bold;
	display: inline;
	float: left;
	clear: left;
	padding-right: 0.3em;
}

dt.lang {
	width: 2em;
}

dd {
	margin-bottom: 0.3em;
}

.left, .right {
	width: 27.5em;
}

.left {
	float: left;
	clear: left;
}

.right {
	float: right;
	clear: right;
}

.clear {
	display: block;
	clear: both;
}

.unstable {
	color: red;
}

a, a * {
	text-decoration: none;
}

a:hover, a:hover *, a:active, a:active * {
	text-decoration: underline;
}

ul, ol, nl {
	display: block;
	margin: 1em 0;
	padding-left: 1.8em;
}

nl {
	border: 1px solid black;
	list-style-type: none;
	padding: 1.8em;
}

nl label {
	margin-top: 0;
}

.example {
	display: block;

	margin: 0.2em 0;
	border: 1px solid black;
	padding: 0.3em;

	background-color: #EEE;
}

blockcode {
	display: block;

	margin: 0.2em 0;
	border: 1px solid black;
	padding: 0.3em;

	background-color: #EEE;
	white-space: pre;
}

p {
	text-align: justify;
	margin-bottom: 0.3em;
}

l {
	display: block;
}

#copyright {
	margin-bottom: 2em;
}