html
{
	overflow:scroll;
}

body
{
	font-family:arial, sans-serif;
	font-size:12px;
}

a:visited, a:active, a:link
{
	color:blue;
}

#wrapper
{
	width:1215px;
	margin:0 auto;
}

#header
{
	padding:5px 5px 5px 5px;
	border:1px solid black;
	background-color: gray;
	color:white;
}

#header h1
{
	font-size: 24px;
	font-weight:bold;
}

#header h2
{
	font-size:16px;
	font-weight:bold;
}
#contentwrapper
{
	margin-top:10px;
}

#main
{
	float:left;
	width:900px;
	padding:5px
}

#main h3
{
	font-size:12px;
	font-weight:bold;
}

#main .highlight
{
	background-color:lightgrey;
	padding:10px;
	font-size:13px;
	border:1px solid black;
}

#main h2
{
	font-size:14px;
	font-weight:bold;
}
#shortcuts
{
	float:right;
	width:300px;
	padding:0px;
	text-align:left;
}

#shortcuts .outer
{
	margin:0px auto;
	margin-bottom:20px;
	border:1px dotted gray;
}

#shortcuts h1
{
	background-color:lightgrey;
	font-size:13px;
	font-weight:bold;
	padding:3px;
	margin:0px;
	margin-bottom:2px;
}

#shortcuts .inner
{
	padding:3px;
}

pre.manual
{
	border:1px solid black;
	width:75%;
	margin:0px auto;
	margin-top:10px;
	margin-bottom:10px;
	padding:5px;
	background-color:lightgrey;
}