BODY, TABLE, TD, TH { 
	color: Black;
}

BODY {
	background-color: "#d0d0d0";
	background-image: url(/~godfrey/mm/image/tile/maze-torus.gif);
	background-attachment: scroll;
}

A { text-decoration: underline; }
A:link    { color: #000000; } 
A:focus   { color: Blue; }
A:visited { color: #404040; } 
A:hover   { background-color: #ff0000}
A:active  { color: #ffffff; }

.webster {
    color: Teal;
    font-style: italic;
}

.copyright {
    color: #aaaaaa;
    font-family: Arial;
    font-size: 8pt;
}

/*
.title {
	font-family: Georgia, "Times New Roman", serif;
    font-style: italic;
	font-weight: normal;
}
*/

.above, .below {
	font-size: 60%;
	font-family: Verdana, Arial, sans-serif; }
.above {
	vertical-align: 0.7ex;
}
.below {
	vertical-align: -0.3ex;
}

.clearlist {
	list-style-type: none;
}

.level-1 {
	list-style-type: disc;
}

.level-2 {
	list-style-type: circle;
}

.level-3 {
	list-style-type: square;
}

.box_1111 { border-style: solid;
			border-width: thin;
			border-color: #404040;
		  }
.box_0111 { border-style: none solid solid solid;
			border-width: thin;
			border-color: #404040;
		  }
.box_1011 { border-style: solid none solid solid;
			border-width: thin;
			border-color: #404040;
		  }
.box_1101 { border-style: solid solid none solid;
			border-width: thin;
			border-color: #404040;
		  }
.box_1110 { border-style: solid solid solid none;
			border-width: thin;
			border-color: #404040;
		  }
.box_0011 { border-style: none none solid solid;
			border-width: thin;
			border-color: #404040;
		  }
.box_0101 { border-style: none solid none solid;
			border-width: thin;
			border-color: #404040;
		  }
.box_0110 { border-style: none solid solid none;
			border-width: thin;
			border-color: #404040;
		  }
.box_1001 { border-style: solid none none solid;
			border-width: thin;
			border-color: #404040;
		  }
.box_1010 { border-style: solid none solid none;
			border-width: thin;
			border-color: #404040;
		  }
.box_1100 { border-style: solid solid none none;
			border-width: thin;
			border-color: #404040;
		  }
.box_0001 { border-style: none none none solid;
			border-width: thin;
			border-color: #404040;
		  }
.box_0010 { border-style: none none solid none;
			border-width: thin;
			border-color: #404040;
		  }
.box_0100 { border-style: none solid none none;
			border-width: thin;
			border-color: #404040;
		  }
.box_1000 { border-style: solid none none none;
			border-width: thin;
			border-color: #404040;
		  }
.box_0000 { border-style: none none none none;
			border-width: thin;
			border-color: #404040;
		  }

.boxA_1111 { border-style: solid solid solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		  }
.boxA_1111, .boxA_1111 td { color: white; }
.boxA_0111 { border-style: none solid solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_0111, .boxA_0111 td { color: white; }
.boxA_1011 { border-style: solid none solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_1011, .boxA_1011 td { color: white; }
.boxA_1101 { border-style: solid solid none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_1101, .boxA_1101 td { color: white; }
.boxA_1110 { border-style: solid solid solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_1110, .boxA_1110 td { color: white; }
.boxA_0011 { border-style: none none solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_0011, .boxA_0011 td { color: white; }
.boxA_0101 { border-style: none solid none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_0101, .boxA_0101 td { color: white; }
.boxA_0110 { border-style: none solid solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_0110, .boxA_0110 td { color: white; }
.boxA_1001 { border-style: solid none none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_1001, .boxA_1001 td { color: white; }
.boxA_1010 { border-style: solid none solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_1010, .boxA_1010 td { color: white; }
.boxA_1100 { border-style: solid solid none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_1100, .boxA_1100 td { color: white; }
.boxA_0001 { border-style: none none none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_0001, .boxA_0001 td { color: white; }
.boxA_0010 { border-style: none none solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_0010, .boxA_0010 td { color: white; }
.boxA_0100 { border-style: none solid none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_0100, .boxA_0100 td { color: white; }
.boxA_1000 { border-style: solid none none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_1000, .boxA_1000 td { color: white; }
.boxA_0000 { border-style: solid none none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #808098;
		   }
.boxA_0000, .boxA_0000 td { color: white; }

.boxB_1111 { border-style: solid solid solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_0111 { border-style: none solid solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_1011 { border-style: solid none solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_1101 { border-style: solid solid none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_1110 { border-style: solid solid solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_0011 { border-style: none none solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_0101 { border-style: none solid none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_0110 { border-style: none solid solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_1001 { border-style: solid none none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_1010 { border-style: solid none solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_1100 { border-style: solid solid none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_0001 { border-style: none none none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_0010 { border-style: none none solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_0100 { border-style: none solid none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_1000 { border-style: solid none none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }
.boxB_0000 { border-style: none none none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #d0d0d0;
		   }

.boxC_1111 { border-style: solid solid solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		  }
.boxC_0111 { border-style: none solid solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_1011 { border-style: solid none solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_1101 { border-style: solid solid none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_1110 { border-style: solid solid solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_0011 { border-style: none none solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_0101 { border-style: none solid none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_0110 { border-style: none solid solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_1001 { border-style: solid none none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_1010 { border-style: solid none solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_1100 { border-style: solid solid none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_0001 { border-style: none none none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_0010 { border-style: none none solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_0100 { border-style: none solid none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_1000 { border-style: solid none none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }
.boxC_0000 { border-style: none none none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #e8e8e8;
		   }

.boxD_1111 { border-style: solid solid solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		  }
.boxD_0111 { border-style: none solid solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_1011 { border-style: solid none solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_1101 { border-style: solid solid none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_1110 { border-style: solid solid solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_0011 { border-style: none none solid solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_0101 { border-style: none solid none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_0110 { border-style: none solid solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_1001 { border-style: solid none none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_1010 { border-style: solid none solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_1100 { border-style: solid solid none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_0001 { border-style: none none none solid;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_0010 { border-style: none none solid none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_0100 { border-style: none solid none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_1000 { border-style: solid none none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }
.boxD_0000 { border-style: none none none none;
			 border-width: thin;
			 border-color: #404040;
			 background-color: #ffffff;
		   }

.tab {
	font-size:   125%;
	font-weight: bold;
}

span.title {
	font-size:   125%;
	font-weight: bold;
	color:       #800000;
}
span.lead { font-size: 150%;
	color:     #800000;
}

code {
	color: #800000;
}

a.notes {
	color:       #800000;
	font-style:  italic;
}

.framed {
	width:          auto;
	padding-top:    1ex;
	padding-bottom: 0ex;
	padding-left:   1em;
	padding-right:  1em;
	border-style:   solid;
	border-width:   1px;
}