/* $Id: jr-style.css,v 1.1 1998/04/28 22:35:07 jreuter Exp jreuter $ */

body {
	background: white;
	color: black;
	font-size: 12pt;
}

h1 {
	font-size: 18pt;
	font-weight: bold;
}

h2 {
	font-size: 14pt;
	font-weight: normal;

	background: silver;
	color: black;
	max-width: 99%;
	min-width: 99%;
	width: 99%;
	border: 0px 4px 0px 4px;
	border: 0px 4px 0px 4px;
	padding: 2px 4px 2px 4px;
}


h3 {
	font-size: 12pt;
	font-weight: bold;
}

div.caption {
	font-size: 14pt;

	background: silver;
	color: black;
	max-width: 99%;
	min-width: 99%;
	width: 99%;
	border: 0px 4px 0px 4px;
	border: 0px 4px 0px 4px;
	padding: 2px 4px 2px 4px;
}

div.delimiter {
	font-size: 8pt;

	background: silver;
	color: black;
	max-width: 99%;
	min-width: 99%;
	width: 99%;
	border: 0px 4px 0px 4px;
	border: 0px 4px 0px 4px;
	padding: 0px 4px 0px 4px;
}

table.caption {
	background: silver;
	cellspacing: 10;
	border: 0;
}

th.caption {
	font-size: 14pt;
}

th.delim {
	font-size: 5pt;
}

td.center {
	vertical-align: middle;
}

td.top {
	vertical-align: top;
}

ul.theme { 
	list-style-type: disc;
	font-size: 14pt;
}

ul.topics {
	list-style-type: none;
	font-size: 12pt;
}

hr.invisible {
	display: none;
}

hr.delim {
	color: silver;
	size: 20px;
}

div.navi {
	font-size: 14pt;
}