body		{ background: #dddddd;
			color: #000000;
			font-family: sans-serif;
			font-size: 100%;
			margin: 3%;
			}

h1, h2, h3, h4	{ font-family: "Times New Roman", Times, serif;
			font-weight: bold; }

h1			{ font-size: 170%; }
h2			{ font-size: 140%; }
h3			{ font-size: 120%; }
h4			{ font-size: 100%; }

.navtop		{ float: left;
			background: #ffffff;
			color: #000000;
			border: solid 1px #000000;
			padding: 10px;
			margin-top: 7px;
			margin-bottom: 15px; }

.navbot		{background: #ffffff;
			color: #000000;
			border: solid 1px #000000;
			padding: 10px;
			margin-top: 30px; }

.navbotnobadge {background: #ffffff;
			color: #000000;
			border: solid 1px #000000;
			padding: 10px;
			margin-top: 30px;
			margin-bottom: 50px; }

.indent1	{margin-left: 1em; }

.indent2	{ margin-left: 2em; }

.indent2both	{margin-left: 2em;
		margin-right: 2em;}

.indent4	{ margin-left: 4em; }

.padhalfoneem	{ padding: .5em 1em; }

.cent		{ text-align: center; }

.right		{ text-align: right; }

.lfloatptop	{ float: left;
			margin: 5px 15px 15px 0px; }
/* for left-floating image top of paragraph */

.caption	{ font-style: italic; }

.sbb		{ font-family: Times, serif;
			font-weight: bold;
			border: groove;
			padding: 1em; }

.bold		{ font-weight: bold }

/* bare border */
.bord		{ border: thin solid #888888; }

/* padded, alone or first in row */
.bord00		{ border: thin solid #888888;
			background: #ffffff;
			color: #000000;
			padding: 10px; }

/* padded, second or more in row */
.bord01		{ border: thin solid #888888;
			background: #ffffff;
			color: #000000;
			padding: 10px;
			margin-left: 10px; }

.hot		{ color: #ff0000;
			background: transparent;
			font-family: times, serif;
			font-size: 130%; }

.last1		{ margin-bottom: 1em; }

.last2		{ margin-bottom: 2em; }

.light		{background: #eeeeee; }

.last2light	{ margin-bottom: 2em; background: #eeeeee; }

/* see usage of following two ".col" styles in haiku.html */

.col50pct	{ width:50%;
			float:left;
			margin-top:2ex;
			margin-bottom:2ex; }

.colend 	{ width:100%;clear:left; }

a               { color: #0000ff; }
a:visited 	{ color: #ff0000; }
a:hover		{ color: #00aa00; }
a:active	{ color: #00aa00; }
a:active img	{ border: none; }

:link IMG	{ border: none }
:visited IMG	{ border: none }