body {
	margin: 0;
	padding: 0;
	height: 100%;
}


div {
	margin: 0;
	padding: 5px;
}

#pagecontainer {
	margin-left: auto;
	margin-right: auto;
	margin-top: 0;
	margin-bottom: 0;

	padding: 0;
	width: 630px;
}


#header {
}


#header h1 {
  margin: 0 2px;
}


#footer {
}

table.wide-table {
  width: 98%;
  margin: auto;
}
 

a {
	margin: 0 auto;
}

/*
hr {
	margin: 0;
}
*/


pre {
  background-color: #BBB;
  color: #000;
  padding: 5px 3px;
  font-family: lucida sans typewriter, lucida console, courier new;
  font-size: 0.8em;
  width: 98%;
  margin: auto;
}