* {
	font-family: "Times New Roman", "Century Schoolbook L", serif;
}

body {
	font-family: "Times New Roman", "Century Schoolbook L", serif;
	margin: 0px;
	background-color: gray;
	font-size: 11pt;
	color: #000030;
}
p, div {
	font-family: "Times New Roman", "Century Schoolbook L", serif;
	padding: 0;
	margin: 0;
}
p {
	margin-bottom: 10px;
	line-height: 1.7em;
}
.wikirightalign {
	text-align: right;
	margin: 0;
	margin-top: -5px;
}
.wikicenteralign {
	text-align: center;
}
pre {
	font-family: monospace;
	border-left: 1px dotted gray;
	margin: 0;
	padding: 0;
	padding-left: 3px;
}
a {
	text-decoration: none;
	border-bottom: 1px dotted silver;
	color: #404070;
}
a:hover {
	text-decoration: none;
	border-bottom: 1px solid gray;
}
h1, h2, h3, h4, h5, h6 {
	font-family: "Bitstream Vera Sans", sans-serif;
	padding: 0px;
	margin: 0px;
	margin-bottom: 10px;
}
h1 {
	border-bottom: 1px solid #d0d0d0;
}
hr {
	margin: 7px;
	padding: 0px;
	border: 0;
	border-top: 1px solid #c0c0c0;
}
td {
	border: 1px solid #c0c0c0;
	background-color: white;
}
div.menutext, a.setupsite, a.logout, a.editthispage {
	font-family: "Bitstream Vera Sans", sans-serif;
	margin: 2px;
	font-size: 10pt;
}
a.menutext {
	font-family: "Bitstream Vera Sans", sans-serif;
	font-size: 10pt;
}
td.pagebody {
	padding: 10px;
}
td.pagemenu {
	font-family: "Bitstream Vera Sans", sans-serif;
	padding: 10px;
}

.comment {
	color: #c0c0c0;
}
td.topmenu {
	background-color: #E0E0E0;
}
div.topmenu {
	text-align: center;
	padding: 2px;
	font-family: "Bitstream Vera Sans", sans-serif;
	font-size: 12px;
	font-weight: 900;
}
div#title {
	font-family: "Bitstream Vera Sans", sans-serif;
	font-size: 50px;
	line-height: 50px;
	color: gray;
	padding-left: 20px;
	padding-top: 20px;
	height: 80px;
	width: 100%;
	border-bottom: 1px solid gray;
}
a.topmenu {
	border: none;
	font-family: "Bitstream Vera Sans", sans-serif;
	font-size: 12px;
	font-weight: 900;
	border: 1px solid black;
	padding-left: 28px;
	padding-right: 28px;
}
a.topmenu:hover {
	background-color: #c0c0c0;
	color: white;
	font-family: "Bitstream Vera Sans", sans-serif;
	font-size: 12px;
	font-weight: 900;
	border: 1px solid black;
	padding-left: 28px;
	padding-right: 28px;
}
table.wikitable {
	border: none;
	width: 100%;
	margin-left: auto;
	margin-right: auto;
}
td.wikitable {
	border: 1px solid #c0c0c0;
}

table.setup {
	border: none;
	margin-left: auto;
	margin-right: auto;
	width: 100%
}
.setup-header {
	border: 1px solid gray;
}
td.setup {
	border: none;
}
a.command {
	text-decoration: none;
	background-color: transparent;
	border: none;
}
a.command:hover {
	text-decoration: underline;
	background-color: #606060;
	color: white;
	border: none;
}