/* Style Sheet for Documentation Web Pages */
/* $Id: main.css,v 1.1 1999/10/14 10:49:09 sr Exp sr $ */

PRE {
	font-family: monospace;
	font-size: medium;
}

A:link {
	color: blue;
	text-decoration: none
}

A:active {
	color: red;
	text-decoration: none
}

A:visited {
	color: navy;
	text-decoration: none
}

A.rsstitle {
	text-decoration: underline;
}
body {
	background: white;
	color: black;
	font-family: sans-serif;
}

H1 {
	font-size: x-large;
	color: black;
}

DIV.subtoc {
	padding: 1em;
	border: solid thin;
	margin: 1em 0;
	background-image: url("../img/back2.jpg");
}

table.main {
	border-top: 1px solid black;
	border-bottom: 1px solid black;
}

td.left {
	width: 250px;
	border-right: 1px solid black;
	vertical-align: top;
}

table.left {
	width: 150px;
	font-size: small;
}

td.mid {
	width: 100%;
	vertical-align: top;
	margin: 30px;
}

td.right {
	width: 250px;
	border-left: 1px solid black;
	vertical-align: top;
}

table.right {
	width: 250px;
}

table.rssover {
	display: inline-table;
}

table.rss {
	border: 1px solid black;
	background: beige;
	width: 200px;
}

tr.rss {
	vertical-align: top;
}

tr.row0 {
	background: beige;
}

.rss {
	font-size: small;
}

.rsscopyright,.rsssmall {
	font-size: xx-small;
}

.rssdetail {
	font-size: x-small;
}

.cached {
	color: green;
}

.uncached {
	color: red;
	display: inline;
}