body {
	font-family: sans-serif;
	background-color: #9CABCF;
	margin: 0px;
	color: black;
}

h1 {
	font-size: 240%;
	padding-left: 1ex;
}

img {
	border: 0px;
}

td {
	padding: 0.5ex;
}

table {
	background: #f7f7f7;
}

table, td {
	border: 1px solid gray;
	border-collapse: collapse;
}

thead td {
	font-weight: bold;
	text-align: center;
}

pre {
	background-color: #f7f7f7;
	border: 1px solid gray;
	padding: 1ex;
	font-size: 120%;
}

code {
	font-size: 120%;
}

input {
	width: 100%;
	border: 1px solid gray;
}

input[type=submit], input[type=image] {
	width: inherit;
}

textarea {
	width: 70ex;
	border: 1px solid gray;
}

.frame {
	border-style: hidden;
	width: 100%;
	height: 400px;
}

.report, .report td {
	border: 0px;
	background: transparent;
}

.version {
	color: green;
}

.emphasis {
	font-weight: bold;
}

.emphasisSmall {
	font-style: italic;
}

.removed {
	text-decoration: line-through;
}

.screenshots {
	text-align: center;
}

.screenshots img {
	padding: 1.5ex;
	margin: 2em;
	border: 1px solid gray;
}

.task-finished {
	text-decoration: line-through;
}

#logo img {
	padding-left: 5px;
	vertical-align: middle;
}

#header {
	padding-left: 2ex;
	padding-right: 2ex;
	background-color: #101A44;
	margin: 0px;
}

#header h1 {
	display: inline;
}

#header a {
	text-decoration: none;
	color: white;
}

#banner {
	/*display: none;*/
	float: right;
	margin-top: 15px;
}

#menubar {
	background-color: #333333;
	border-bottom: 2.5ex solid black;
	height: 2.5ex;
}

#menubar ul {
	margin: 0;
	padding: 0;
	float: right;
	border-left: 1px solid white;
}

#menubar ul li {
	display: block;
	padding: 1ex;
	margin: 0;
	border-right: 1px solid white;
	float: left;
}

#menubar a {
	color: white;
	text-decoration: none;
}

#menubar a:hover, #menubar a:active {
	color: red;
	border-bottom: 0.5ex solid red;
	margin-bottom: -0.5ex;
	padding-bottom: 0.5ex;
}

#menubar a.current {
	border-bottom: 0.5ex solid white;
	margin-bottom: -0.5ex;
	padding-bottom: 0.5ex;
}

#body {
	background-color: #EDF0E8;
	padding: 2ex;
	min-height: 5em;
	font-size: small;
}

#footer {
	padding-top: 2em;
	padding-bottom: 3em;
	text-align: center;
	font-size: x-small;
}

.bigEmphasis { color: red }

.faq-question {
	font-weight: bold;
	font-style: italic;
}

.faq-answer {
	margin-bottom: 1em;
}