html, body {
	height: 100%;
}

body {
	font-family: Verdana, Arial, Tahoma, Sans-Serif;
	font-size: 0.8em;
	margin: 0px;
	padding: 0px;
}

code {
	display: block;
}

.box {
	border: #000000 1px solid;
	padding: 4px;
	margin: 5px;
}

a {
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

#container {
	padding: 0px;
	margin-left: 40px;
	margin-right: 40px;
	height: 100%;
}

#pageHeader {
	border: 0px;
	margin: 0px;
	background-repeat: no-repeat;
	height: 75px;
	vertical-align: bottom;
}

#title {
	font-size: 500%;
	display: none;
}

#subtitle {
	display: none;
}

#menu {
	padding: 0px;
	position: absolute;
}

#content {
	margin-left: 145px;
	margin-right: 10px;
}

#contentContainer {
	border-style: dashed;
	border-left: 0px;
	border-right: 0px;
	margin: 0px;
}

dl {
	margin: 0px;
}

#menuLinks a {
	display: block;
	text-decoration: none;
	padding-left: 5px;
	width: 120px;
}

#menuLabel {
	display: none;
}

#styleSelect {
	font-size: 80%;
	padding-left: 5px;
}

h1 {
	font-size: 200%;
	margin-bottom: 2px;
}

h2 {
	font-size: 140%;
	margin-bottom: 2px;
}

small {
	font-size: 80%;
}

.pageForAuthors #content h3, .pageForAuthors #content h4 {
	display: inline;
	font-size: 150%;
	margin-bottom: 2px;
	border-bottom: 2px #000000 dashed;
}

.pageForAuthors #content h4 {
	font-size: 120%;
	border-bottom-width: 1px;
}


.pageForAuthors #content dd.x {
	padding-left: 2em;
}

.pageForAuthors #content dt {
	font-weight: bold;
	margin-top: 1em;
}

.pageForAuthors #content div.hr {
	height: 0px;
	border-bottom: 4px #000000 solid;
	margin-right: 2em;
	margin-bottom: 3em;
	margin-top: 3em;
}

.pageForAuthors #content div.indent {
	padding: 2em;
	padding-right: 0px;
}

.pageForAuthors #content p {
	text-indent: 2em;
}