/* $Id: style.css,v 1.5 2008/02/20 19:48:34 jrothwei Exp $ */
/* from the website www.sensicomm.com */

/* I only use h1 for major titles at the tops of pages.*/
/* Colors: 76,0,102 and 178,128,26 are the blue and gold */
/* of my logo. */
body {
	background: rgb(245,245,255);
}
h1 {
	font-size: 140%;
	font-family: sans-serif;
	/* Lighten the colors, to show up better. */
	color: rgb(34,0,102);
	background-color: rgb(255,222,150);
	/* text-transform: uppercase; */
}
hr {
	/* noshade;*/
	height: 4px;
	color: rgb(76,0,102);
	background: rgb(178,128,26);
}
/* To make a link look more like a pushbutton. */
a.menu {
	color: green
	background-color:rgb(255,212,130);
	border: thin outset rgb(0,0,128);
	line-height: 140%;
}
a:hover {
	color: red;
}

/* To make a "buttonbar" a line of links, each in a box, and all in one
bigger box. */
div.banner {
	/* display: inline; */
	border: thin solid rgb(0,0,128);
	font-size: 120%;
	height: auto;
	/*background:rgb(192,255,192);*/
	background: rgb(255,232,180);
	/*padding-top: 0.1em; */
	/*padding-bottom: 0.1em; */
	padding: 0.1em;
}
/* Each button within the bar. */
div.banner a {
	margin: 2px; /* Shows up between, on left and right. */
	padding: 0.2em 0.2em;  /* Vert, horiz; doesn't affect line spacing. */
	border: medium inset rgb(0,0,128);
	font-weight: bold;
	height: auto;
	background:rgb(255,212,162);
	line-height: 170%;
}

H2 {
	color: rgb(34,0,102);
	font-family: sans-serif;
}
H3 {color:magenta}
address {color:maroon}
address.main {
	font-size: 100%;
	font-weight: bold;
}
/* For tables. */
TABLE{
	background:rgb(255,240,190);
}
THEAD{
	font-weight: bold;
	background:rgb(255,212,162);
}
CAPTION {
	background:rgb(255,240,190);
	font-weight: bold;
}
/********************************************/
/* definitions for images. */
img.headerimage {
        float: left;
        padding: 0;
	margin: 0;
	border: 0;
}
img.leftimage {
        float: left;
        padding: 5px;
}

/* An image with a caption. */
div.imgcap {
        display:block;
        float:left;
        border-style: solid;
        border-color: rgb(255,255,0);
}
div.imgcaprt {
        display:block;
        float:right;
        border-style: solid;
        border-color: rgb(255,255,0);
}