@import url("/css/lists.css");

body         { 
               background: white;
	       color: black;
               margin: 0em;
               padding: 0em;
}

.headerimage {
               border-style: none;
               padding: 0em;
               margin: 0em;
}

.header      { 
               border-style: none;
               padding: 0em;
               margin: 0em;
}

.navlinks    { 
	       margin-left: 0.4em;
	       margin-right: 0.2em;
	       margin-top: 0.2em;
               margin-bottom: 0.1em;
               padding-left: 0.4em;
               padding-right: 0em;
               padding-top: 0em;
               padding-bottom: 0em;
}

.tbody       {
	       padding: 0.5em;
	       margin-right: 1.0em;
	       margin-left: 1.0em;
	       max-width: 50em;
}

.footer      {
               margin-left: 0.5em;
}

.trim  {
	margin-top: 0em;
	padding-top: 0em;
	margin-bottom: 0em;
}

.gapped {
        padding-bottom: 0.5em;
}

.indent {
        padding-left: 1.5em;
}

p.top {
	margin-top: 0em;
	padding-top: 0em;
        margin-bottom: 0.3em;
        padding-bottom: 0.2em;
}

div.topindent {
	margin-top: 0.2em;
	margin-bottom: 0.2em;
	padding-top: 0em;
	padding-bottom: 0em;
	padding-left: 2.0em;
}

p.bottom {
	margin-bottom: 0em;
	padding: 0em;
}

p.kbd	{
	font-family: monospace;
	font-size: 95%;
}

h1 { 
	font-size: 150%; 
	margin-bottom: 0.2em;
	padding-bottom: 0em;
}

h2 { 
	font-size: 125%;
	margin-bottom: 0.2em;
	padding-bottom: 0em;
}

h3 { 
	font-size: 100%; 
	margin-bottom: 0.2em;
	padding-bottom: 0em;
}

/* when mouse is over link */
a:hover { color: #009966; } 

/* an inline element that we really want the user to read! */
.alert {
	font-weight: bold;
	background: white;
	color: red;
	padding: 0em;
	margin: 0em;
}