body{	background-color:#f0f0f0;
	margin:0 10%}

a{	text-decoration:none;
	white-space:nowrap}
a:link{	color:#7777ff}
a:visited{
	color:#888888}
a:hover{color:#000000}
a:active{
	color:#000000}

blockquote{
	background-color:#ddffdd;
	border:1px solid #aaaaaa;
	line-height:1.3em;
	margin:1em 5%;
	padding:5px}

h1{	font-size:300%;
	margin:10px auto}
h2{	font-size:200%;
	margin:10px auto}
h3{	font-size:150%;
	margin:0 auto 0.7em;
	padding-top:0.5em}
h4{	margin:0}

ol{	line-height:1.3em;
	margin:1em 0 1em 3em}
ul{	line-height:1.3em;
	margin:1em 0 1em 2em}

p{	line-height:1.3em;
	margin:0.6em 0}

th{	white-space:nowrap}

.c1{	color:#000090}
.c2{	color:#005000}
.c1 a{	text-decoration:underline}
.c2 a{	text-decoration:underline}

.big{	font-size:120%}
.bigbold{
	font-size:120%;
	font-weight:bold}
.small{	font-size:80%}
.center{text-align:center}
.right{	margin-top:0.5em;
	text-align:right}

.black{	color:#000000}
.red{	color:#ff0000}

.reference{
	background-color:#ddddff;
	margin:1em 10%}
.reference ul{
	margin:0 0 0 2em}

.table{	background-color:#ffffcc;
	border:1px solid #aaaaaa;
	margin:1.5em auto}
.table td{
	border:1px solid #aaaaaa;
	padding:3px}
.table th{
	border:1px solid #aaaaaa;
	padding:3px}

.menu{	color:#333333;
	margin-top:0;
	margin-bottom:0}
.menu a{font-size:120%;
	font-weight:bold}
.menu li{
	margin:0.5em 0}
.menu u{font-size:120%}
.right a{
	font-size:120%;
	font-weight:bold}