.back_color
{
	background-color: rgb(238,232,218);
}

.emphasize
{
	font-weight: bolder;
}

.italic
{
	font-style: italic;
}

.larger_font
{
	font-size: larger;
}

.smaller_font
{
	font-size: 90%;  /* 80% */
}

.top
{
	margin-top: 1em;
}

a  /* a.navigation */
{
	color: black;
	text-decoration: underline;
}

a.current
{
	color: gray;
}

a.plain
{
	text-decoration: none;
}

a:visited.current
{
	color: gray;
}

/*
a:visited
{
	text-decoration: line-through;
}
*/

/*
a.info {
	text-decoration: underline;
}
*/

body 
{
	color: black;
	background-color: rgb(238,232,218);
	font-family: Arial, sans-serif;
	margin: 0em;
}

body.home
{
	/* div.header.background-color ~ body.background-image */
	/* div.header.margin-left = body.background-image.width */
	background-image: url("capitol_building.jpg");
	background-position: top left;
	background-repeat: no-repeat;	
}

div.content
{
	clear: both;
	
	margin-left: 3em;  /* div.header.margin-left = div.content.margin-left */
	margin-right: 3em;
	margin-top: 0em;
	margin-bottom: 1em;
	
	padding-top: 1em;
}

div.directory
{
	clear: left;
	margin-left: 2em;
	margin-bottom: 1em;
	min-height: 100px;
	line-height: 120%;
}

div.directory_single
{
	clear: left;
	margin-top: 1em;
}

div.float_n_as_1_right
{
	clear: right;
	float: right;
	width: 12em;  /* workaround IE layout bug */
	/* border: 2px solid red; */  /* debugging */
}

div.header
{
	/* div.header.background-color ~ body.background-image */
	background-color: rgb(184,194,206);
		
	margin: 0em;
	
	/* div.header.min-width = img.logo.width */
	/* div.header.min-height = img.logo.height */
	min-width: 300px;
	min-height: 130px;
	
	padding: 0.5em;
	padding-left: 3em;  /* div.header.padding-left = div.content.margin-left */
}

div.header_home
{	
	/* div.header.margin-left = body.background-image.width */
	margin-left: 300px;
	padding-left: 0.5em;
}

div.image
{
	float: left;
	
	margin: 2em;
	margin-left: 0em;
	padding: 1em;
	padding-bottom: 0.5em;
	border: 1px solid black;
	
	text-align: center;
	line-height: 200%;
}

div.image_feature
{
	line-height: normal;
}

div.footer
{
	clear: both;
	margin-top: 3em;
	text-align: center;
	font-size: x-small;
}

div.logo
{
	float: left;
	margin-right: 1em;
}

div.navigation
{
	clear: right;
	float: right;
	border: 1px solid black;
	margin-left: 1em;
	margin-top: 1.8em;
	margin-bottom: 1em;
	padding-left: 1em;
}

div.navigation_2
{
/*	clear: right;
	float: right;
	margin-bottom: 1em;	
*/
	margin-top: 0em;
}

div.subheader
{
	/* div.subheader.padding-top ~ img.logo.height x 1/3 */
	padding-top: 50px;
}

h4
{
	clear: left;
	margin-top: 2em;
}

img
{
	border: 1px solid black;
}

img.footer
{
	width: 756px;
	height: 94px;
	border: none;	
}

img.left
{
	float: left;
	margin: 0em 1em 1em 0em;
}

img.logo
{
	/* div.header.min-width = img.logo.width */
	/* div.header.min-height = img.logo.height */
	/* div.subheader.padding-top ~ img.logo.height x 1/3 */
	width: 300px;
	height: 130px;
	border: none;
}

img.valid_w3
{
	border: 0;
	width: 88px;
	height: 31px;
}

li
{
	margin-top: 0.5em;
}

li.content
{
	margin-top: 0.2em;
}

li.nested
{
	margin-top: 0em;
}

table
{
	border-collapse: collapse;
}

th
{
	font-weight: normal;
	padding-left: 0.5em;
	text-align: left;
}

td
{
	padding: 0.3em 0.5em 0.3em 0.5em;
	border: 1px solid black;  /* thin */
}

ul
{
	/*
		Need to set both left padding and left margin to make
		various versions of FireFox and IE look the same.
	*/
	padding-left: 0em;
	margin-left: 0em;
	margin-right: 1em;
	margin-bottom: 1em;
	list-style: none;
}

ul.content
{
	margin-top: -0.6em;
	margin-left: 3em;
}

ul.nested
{
	margin-left: 1em;
	margin-top: 0em;
}