html {
	background: #aaa;
	font-family: verdana, sans-serif;
	font-size: 14px;
	margin: 0 10px;
}
body {
	margin: 1em auto;
	background: #fff;
	max-width: 1000px;
	border: 1px solid #336;
}

h1 {
	font-size: 250%;
	background: #bdf;
	margin: 0;
	padding: 10px;
}
h1 a {
	text-decoration: none;
}
#adminbar {
	margin: 0;
	background: #bdf;
	text-align: right;
	padding-right: 10px;
}


#navibar {
	list-style-type: none;
	padding: 0 0 5px 10px;
	margin: 0;
	overflow: auto;
	background: #bdf;
	border-bottom: 1px solid #bbf;
}
#navibar li {
	padding: 0;
	margin: 0;
	float: left;
}
#navibar a {
	display: block;
	padding: 0 10px;
	margin: 0 1px;
	color: #33a;
	font-weight: bold;
}
#navibar a:hover {
	color: #003;
	text-decoration: underline;
}

#main {
	/*overflow: auto; */
	padding: 10px;
}

textarea {
	width: 99%;
}
a {
	color: #33f;
}
a:visited {
	color: #606;
}
a:hover, a:active {
	color: #83f;
}

.syntaxtable .syntax {
	border: 1px dotted #888;
	border-left: 1px solid #888;
}