html {
	background-color: #f5f5f5;
	font-family: serif;
	font-size: 12pt;
}

body {
	margin: 0px;
	max-width: 56em;
	padding-right: 2em;
}

code, kbd, samp, tt {
	font-size: 90%;
}

#content {
	margin-right: 10em;
	padding: 2em;
	background-color: #ffffff;
	border-right: 1px solid #c0c0c0;
	border-bottom: 1px solid #c0c0c0;
}

#langbar {
	float: right;
}

#langbar li {
	display: inline;
	margin: 0.5em;
}

#langbar li.current {
	font-weight: bold;
}

img#icon {
	border: none;
}

#navbar {
	float: right;
	width: 10em;
	padding: 1em;
	margin-right: -14em;
	background-color: #ffffff;
	border: 1px solid #c0c0c0;
	border-left-style: none;
}

#toc {
	padding-left: 0em;
}

#toc li {
	list-style-type: none;
}

#toc li a {
	display: block;
}

#content li {
	margin-bottom: 0.5em;
}

#title {
	margin-bottom: 0px;
	margin-top: 0px;
}

#supertitle {
	display: inline;
	padding-left: 0.5em;
}

#subtitle {
	font-size: 80%;
	margin-top: 0px;
	margin-bottom: 4em;
}

.screenshot-box {
	margin-right: -10em;
}

.screenshot-box a {
	float: left;
	display: block;
	margin: 2px;
	padding: 2px;
	width: 200px;
	height: 200px;
	background-color: #f5f5f5;
	border: 1px solid #c0c0c0;
}

.screenshot-box a img {
	border: none;
	display: block;
	margin: auto;
}

.install-box {
	margin-left: auto;
	margin-right: auto;
	padding: 1em;
	padding-left: 52px;
	width: 20em;
	background-color: #f5f5f5;
	background-image: url(./icon32.png);
	background-position: 10px center;
	background-repeat: no-repeat;
	border: 1px solid #c0c0c0;
}

.install-link {
	font-weight: bold;
	margin: 0px;
}

.install-desc {
	font-size: 80%;
	margin: 0px;
}

#install-steps:before {
	content: "\25b2";
	text-decoration: blink;
}

#install-steps {
	position: fixed;
	top: 0px;
	right: 0px;
	width: 10em;
	padding: 1em;
	background-color: #000000;
	color: #ffffff;
	opacity: 0.8;
}

#install-steps.inactive {
	opacity: 0.6;
}

#install-steps.inactive:hover {
	opacity: 0.8;
}

table {
	border: 1px solid #c0c0c0;
	margin-left: auto;
	margin-right: auto;
}

table.wide,
table.x-wide,
table.xx-wide {
	background-color: #ffffff;
	clear: both;
	margin-right: -10em;
}

table.x-wide {
	margin-right: -20em;
}

table.xx-wide {
	margin-right: -40em;
}

table caption {
	font-weight: bold;
}

table th, table td {
	border: 1px solid #c0c0c0;
}

td.notes {
	border: none;
}

td.notes ol {
	font-size: 80%;
	margin: 0px;
}

dl > dt {
	font-weight: bold;
}

dl[compact] > dt {
	clear: left;
	float: left;
	width: 10em;
	font-weight: bold;
}

dl[compact] > dd {
	margin-left: 12em;
	margin-bottom: 3em;
}

.fine-print {
	font-size: 80%;
}

div#footer {
	margin-top: 2em;
	margin-left: 2em;
	margin-right: 10em;
}

p.fine-print {
	font-size: 80%;
}

.toolbar {
	padding: 0.5em;
	background-color: #f5f5f5;
	border: 1px solid #c0c0c0;
}