/* @(#) $Header$
**  vim:sw=4:ts=4:
**
**
**  CSS valid colors:
**    aqua, black, blue, fuchsia, gray, green, lime, maroon, navy,
**    olive, purple, red, silver, teal, white, and yellow
**
**  Text decoration: none, underline, overline, line-through, blink
**
**  Text align: left, right, center, justify
**
**  Vertical align: baseline, sub, super, top, text-top, middle, bottom, text-bottom
**  Text transform: none, capitalize, uppercase, lowercase
**
**  Generic font families: serif, sans-serif, cursive, fantasy, monospace
**  Font styles: normal, italic, oblique
**  Font variants: normal, small-caps
**  Font weights: lighter, normal, bold, bolder, 100, 200 ... 800, 900
**  Font sizes:
**    8pt, 10pt, 12pt etc
**    75%, 100%, 150% etc
**    larger, smaller
**    xx-small, x-small, small, medium, large, x-large, xx-large
**
**  Background positions: top, center, bottom, left, right
**
**  Border widths: none, thin, medium, thick
**  Border styles: none, dotted, dashed, solid, double, groove, ridge, inset, outset
**  Display categories: none, "", block, inline, list-item
*/

body {
	color: black;
	background: white;
	margin-left: 2%;
	margin-right: 2%;
}

h1,h2,h3,h4,h5,h6,p,ul {
	font-family: sans-serif;
}

h1 {
	text-align: left;
	background: #e0e0e0;
	width: 100%;
	font-weight: bold;
	font-size: 100%;
	margin-bottom: 0;
}

pre {
	font-family: monospace;
}

strong {
	color: red;
	background: white;
}

td.lhs {
	background: #ffffe0;
	color: black;
	font-size: 90%;
}

td.rhs {
	background: #ffffff;
	color: black;
}

div.box {
	border: solid;
	border-width: thin;
	width: 100%;
}

div.newsheading {
	background: #e0e0e0;
	width: 100%;
	font-weight: bold;
	margin-bottom: 0;
}

div.newsitem {
	margin-left: 1%;
	margin-right: 1%;
}