body {
	background-color: #ECECEC;
	background-image: url("/background.gif");
	background-position: top left;
	background-repeat: repeat-y;
	width: 785px;
	color: black;
	margin: 0;
	padding: 0 0 3em 0;
	/*margin: 10px;*/
	font-family: "Trebuchet MS", sans-serif;
}

#page {
	padding: 2em 4em 0 2em;
}

h1, h2, h3, h4, h5 {
	padding-bottom: 0;
	margin-bottom: 0;
	line-height: 1em;
	font-family: "Times New Roman", "Times", serif;
}

h1 {
	margin-bottom: 0.2em;
}

h2 {
	font-size: 120%;
	padding-top: 0;
	margin-top: 2em;
}

a {
	color: #BE0000;
	text-decoration: underline;
}

a:hover, a:active {
	text-decoration: none;
}

p {
	margin: 0 0 1em 2em;
}

ul {
	margin-left: 2.1em;
	padding-left: 0;
}

li {
	padding-left: 0;
	margin: 12px;
}


ul.addinfo {
	list-style: none;
	padding: 0;
	margin: 0 0 1em 2em;
}

ul.addinfo p {
	margin: 0 0 0.5em 0;
}

ul.addinfo li {
	margin: 0 0 0.5em 0;
}

ul.level2 {
	margin-left: 4em;
	list-style-type: disc;
}


dt {
	margin-left: 2em;
	font-weight: bold;
	color: #666666;
}

dd {
	margin-left: 2em;
	padding-left: 1em;
}


small {
	font-size: 70%;
}

.small {
	font-size: 70%;
}


.ext {
	padding-right: 7px;
	background-image: url("external.gif");
	background-position: top right;
	background-repeat: no-repeat;
}

.bold {
	font-weight: bold;
}




.void {
	visibility: hidden;
	display: none;
}





.cmdsyntax {
	font-weight: bold;
}

.cmdsyntax em {
	font-weight: normal;
	font-style: italic;
}