body
	{
	margin: 0;
	padding: 0;
	}
/******************** logo ********************/
#top_bar
	{
	margin: 0;
	padding: 0;
	width: 100%;
	height: 2.5em;
	background-color: #c00;
	color: #fff;
	text-align: left;
	text-indent: .3em;
	font-size: 150%;
	font-family: 'Times New Roman', serif;
	}
#top_bar span.letter-one
	{
	font-size: 200%;
	vertical-align: text-top;
	color: #fff;
	}
#top_bar span.preposition
	{
	font-size: 50%;
	color: #fff;
	font-style: italic;
	}
/***************** navigation *****************/
#nav_bar
	{
	height: 1.3em;
	border-bottom: 1px solid black;
	margin: 0;
	padding: 0;
	font-weight: bold;
	font-family: 'Verdana', 'Arial', sans-serif;
	font-size: 80%;
	}
#bread-crumb
	{
	margin: 0;
	padding: 0 0 0 0.3em;
	text-align: left;
	}
#letters
	{
	position: relative;
	right: 0.3em;
	margin: 0;
	padding: 0 0.3em 0 0;
	float: right;
	}
#letters ol
	{
	display: inline;
	margin: 0;
	padding: 0;
	list-style-type: none;
	}
#letters li
	{
	display: inline;
	}
/******************** body ********************/
#content
	{
	margin: 3%;
	}
/* main page*/
#content table.datelist 
	{
	table-layout: auto;
	border-collapse: separate;
	border-spacing: 15px 0;
	}
/* entries */
p.quote { margin: 3% 8%;}
#content h2 /* used in UAT */
	{
	font-size: 120%;
	font-weight: bold;
	}
#theorem p.statement
	{
	border: 1px solid black;
	padding: 1% 10%;
	background-color: #cfc;
	}
#theorem p.proof
	{
	border: 1px solid black;
	padding: 1% 10%;
	}
#theorem h2
	{
	font-size: 110%;
	font-weight: bold;
	font-family: Arial, sans-serif;
	}
div.inset-letter
	{
	border: 1px solid black;
	margin: 2% 1%;
	padding: 3% 5%;
	}
/* general to all entries */
#entry-time-stamp
	{
	width: 100%;
	margin-top: 2%;
	margin-right: 0;
	margin-bottom: 1%;
	margin-left: 0;
	font-size: 60%;
	text-align: left;
	}
#see-also
	{
	margin: 1% 0;
	clear: both;
	font-family: 'Verdana', 'Arial', sans-serif;
	font-size: 80%;
	}
#footer
	{
	clear: both;
	text-align: center;
	margin-top: 1%;
	border-top: 1px solid black;
	}
/******************* errors *******************/
#error
	{
	margin: 3%;
	text-align: center;
	}
#godly-message
	{
	font-weight: bold;
	}