div { padding:0; border:none; }
#left { float: left; width: 160px; }
#main { margin-left: 162px;}
h1 { border-width: 0 0 1px 1ex; border-color: navy; border-style: solid; padding: 0 1ex; color: navy; background-color: white; font-size: 15pt; font-weight: normal; }
h2 { border-width: 0 0 1px 1ex; border-color: #900; border-style: solid; padding: 0 1ex; color: #900; background-color: white; font-size: 12pt; font-weight: normal; }
h3 { border-width: 0 0 1px 1ex; border-color: #900; border-style: solid; padding: 0 1ex; color: #900; background-color: #fcc; font-size: 12pt; font-weight: normal; margin-left: 1em; }
div.code {
	background-color: #ffc;
	color: navy;
	border-width: 1px;
	border-color: navy;
	border-style: solid;
	padding: 1em;
	font-family: monospace;
	width: 600px;
	overflow-x: scroll;
	overflow-y: visible;
	margin: 1ex auto;
}
div.eq {
	background-color: transparent;
	color: navy;
	padding: 1ex 2em;
}
div.msg {
	padding: 1em 1em 1ex 1em;
}
dt {
	border-width: 0 0 1px 1ex;
	border-color: #900;
	border-style: solid;
	padding: 0 1em;
}
dl {
	padding-left: 1em;
}
dd { margin-bottom: 1em;}
img { border-width: 0; }