body {
	margin-left: 5%;
	margin-right: 5%;
	margin-bottom: 50pt;
}

#menu a {
	border: 1px solid #55557f;
	background-color : #afafff;
	margin: 0 1.0em;
	padding: 0.2cm;
}

img.rhsimage {
	margin-left: 10%;
	margin-right: 10%;
	float: right;
}

img.screenshot {
	margin-left: 5%;
	margin-right: 5%;
	margin-bottom: 5%;
	margin-top: 5%;
	float: right;
}

p.question {
	font-size : 130%;
	color : Black;
	font-family : "Arial", Helvetica, sanserif;
	background-color : #afafff;
	border: 1px solid #55557f;
	padding: 4px;
}

h2 {
	border: 1px solid #55557f;
	background-color : #afafff;
	padding: 4px;
}

#body {
	float: left;
}

pre.console {
	border: 5px solid Black;
	background-color : Black;
	color : White;
}