/*
margin: doesn't get background color; border lines drawn inside it
padding: gets background color; border lines drawn outside it
*/

BODY			{ padding: 5px;
				  background-color: teal }

.pagetbl		{ background-color: white;
				  margin-bottom: 5px }

.pagetd			{ width: 40em }

.headertbl		{ background-color: lightyellow;
				  border: solid 2px #004040 }

.headertd		{ font-size: smaller;
				  font-weight: bold;
				  font-family: sans-serif;
				  text-align: center }

.content		{ xbackground-color: white;
				  padding-left: 20px;
				  padding-right: 20px;
				  padding-top: 15px;
				  padding-bottom: 15px;
				  border-left: solid 2px #004040;
				  border-right: solid 2px #004040;
				  border-bottom: solid 2px #004040 }

H1				{ text-align: center }

.code			{ font-family: monospace;
				  white-space: pre;
				  margin-left: 2em;
				  margin-right: 2em;
				  padding: 1em;
				  border: solid 1px navy }

DT				{ font-style: italic }