.formula {
	font-family: Symbol, Geneva, Arial, Helvetica, sans-serif;
	font-weight: normal;
	color: rgb(153,0,0);
	height: auto;
	width: auto;
}
.quote {
	font-family: Caflisch Script, Adobe Poetica, Sanvito, Script, cursive;
	text-indent: 2em;
	margin: 1em;
}
.multilinecode {
	color: rgb(153,0,0);
	width: auto;
	margin-left: 1.5em;
	margin-right: 1.5em;
}


.center {
	text-align: center;
}

.indent {
	text-indent: 4em;
}

tt {
	border: thin dotted rgb(180,180,230);
	color: rgb(153,0,0);
	width: auto;
}
.noborder {
	border: none;
}
.margin1 {
	margin: 1em;
}
.margin2 {
	margin: 2em;
}
.margin3 {
	margin: 3em;
}

body {
   background-image: url(greenblue.gif);
   background-repeat: repeat-y;
   color: rgb(0,0,0);
   margin: 1em;
   margin-left: 8em;
   margin-right: 3em;
}

a:link {
   color: rgb(0,40,200);
   text-decoration: none;
}

a:visited {
   color: rgb(128,20,0);
   text-decoration: none;
}

a:hover {
   color: rgb(0,160,255);
   text-decoration: none;
}

p.usage {
   text-indent: 2em;
   margin: 1em;
   background: rgb(230,230,230);
}
p.summary {
   text-indent: 2em;
   margin-left: 4em;
   margin-right: 4em;
}

ul li {
   margin-bottom: .3em;
}

ol li {
   margin-bottom: .3em;
}


h1 {
	color: rgb(153,0,0);
}

h2 {
	color: rgb(0,0,153);
}

h3 {
	color: rgb(51,0,0);
}

dt {
        font-weight: bold;
        color: rgb(102,0,0);
}

dd {
        padding-bottom: 1em;
}

.error {
	color: rgb(0,30,128);
	text-decoration: line-through;
}

.attention {
        font-weight: bold;
        color: rgb(102,0,0);
}