body { font-family: verdana, arial, sans-serif; font-size: 10pt; margin:auto; background:grey; }

div { font-size:10pt }
p { font-size:10pt }
h1 { font-size:11pt }
h2 { font-size:10pt }
h3 { font-size:8pt }
td { font-size:10pt }
ul { font-size:10pt }
li { padding-bottom: 7px }
pre { font-family: verdana, arial, sans-serif; }
.mono { font-family: monospace; font-size: 8pt }
.large_mono { font-family: monospace; font-size: 10pt }
.giant_mono { font-family: monospace; font-size: 14pt }
.tiny_mono { font-family: monospace; font-size: 6pt }
.normal { font-size:10pt }
.smaller { font-size:6pt }
.small { font-size:8pt }
.large { font-size:12pt }
.alarm { color:red }
.color_heading { margin-top:12px; padding:5px; background-color:#baeaf8; width:100% }
.description { font-family: monospace; font-size: 6pt; color:green; font-weight:bold }

A:link, A:visited { color:#0048d5; text-decoration:none }
A:hover { color:#0000cc; text-decoration:underline }
A:active { color:#FAD805; text-decoration:underline }

A.highlight_link { font-weight:bold }

td.wallet_bold_clean,
td.wallet_normal_clean
	{
	font-size:10pt;
	padding:5px;
	vertical-align:bottom;
	background-color:#baeaf8;
	}

td.wallet_bold_clean
	{
	font-weight:bold;
	}

td.wallet_small_clean
	{
	font-size:8pt;
	padding:5px;
	vertical-align:bottom;
	background-color:#baeaf8;
	}

#navigation { padding:5px 25px 5px 25px; background-color: #ffffff;
	border-radius:1em;
	margin-top:5px;
	}

#content { padding:5px 25px 5px 25px; background-color: #ffffff;
	border-radius:1em;
	margin-top:5px;
	margin-bottom:5px;
	}