.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: 3em;
}

.subtle {
	border: thin dotted rgb(180,180,230);
}

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;
}
html, body {
   background: rgb(248,248,248);
   color: rgb(0,0,0);
   margin: 1em;
}

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

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

a:hover {
   color: rgb(0,60,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: .5em;
}

.mjfpagetablehead {
	font-weight: bolder;
	color: #990000;
	left: 0px;
	font-variant: small-caps;
	background-position: left;
	text-align: left;
}

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

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

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


.new {
	color: rgb(0,153,0);
}

th {
	background: rgb(224,224,224);
}

.ok {
	background: rgb(128,255,128);
}

.major {
	font-weight: bold;
	background: rgb(255,128,128);
}

.minor {
	font-weight: bold;
	background: rgb(255,255,128);
}

.invalid {
	font-weight: bold;
	background: rgb(255,255,255);
	color: rgb(255,0,255);
}