body {
	
	font-size: 0.8em;
	font-family: Arial, helvetica, serif;
	margin-left:30;
	margin-right:30
}

span.format {
	 font-family: Courier New
}

span.emph {
	font-style: italic
}

h1 {
	margin-top: 0;
	padding-top:10px
}

emp {
	font-style: italic;
}



h2 {
	border-top-style: solid; border-left-width:1px; border-right-width:1px; border-top-width:1px; border-bottom-width:1px;
	padding-top: 10px 
}

.timestamp {
	font-size:0.8em;
	border-top-style:solid;
	border-top-width:1px;
	margin-top:20;
	padding-top:10px;
}

#definition {
	text-align: center;
	font-weight:bold
}

#image {
	text-align: center
}

#mytable {
	text-align: center;
}

#mytable td {
	font-size:0.8em;
}

pre {
	font-size: 1.2 em;
	font-family:Courier New
}