body	{ font-family		: sans-serif;
	  color			: black;
	  background-color	: white;
	  padding		: 8px;
	}

h1, 
h2, 
h3	{ font-family		: serif;
	  background-color	: white;
	}

blue	{ color			: blue;
	  font-weight		: bold; }

cyan	{ color			: cyan;
	  font-weight		: bold; }

green	{ color			: green;
	  font-weight		: bold; }

red	{ color			: red;
	  font-weight		: bold; }

maroon	{ color			: maroon;
	  font-weight		: bold; }

h1	{ font-size		: 175%; 
	  color			: teal;
	}

h2	{ font-size		: 150%; 
	  color			: maroon;
	}

h3	{ font-size		: 125%; 
	  color			: olive;
	}

p	{ color			: black; }

li	{ padding-bottom	: 5px;
	  padding-top		: 5px;	}

pre	{ font-family		: monospace;
	  font-weight		: bold;
	  color			: blue;
	  background-color	: #F8F8F8;
	  padding-top		: 10px;
	  padding-left		: 20px;
	}

td,
a	{ font-family		: monospace; }

td	{ background-color	: #F8F8FF; }

a:link	{ color			: green; }

a:visited
	{ color			: red; }

a:hover	{ color			: yellow;
	  background-color	: black; }

a:active
	{ color			: navy; 
	  background-color	: yellow; }

.mono	{ font-family		: monospace;
	  text-align		: right;
	}

.header	{ font-family		: sans-serif;
	  font-size		: 150%;
	  font-weight		: bold;
	  background-color	: #88FF88;
	  color			: black;
	  padding		: 10px;
	  margin-top		: 10px;
	}

.opval  { padding               : 5px;
          font-size             : 125%;
	  font-weight           : bold;
	  margin                : 5px;
	  border                : 2px dashed #800080;
	  background-color      : #FFE0E0;
	}

.chapter 
	{ font-family           : sans-serif;
	  font-size             : 150%;
	  font-weight           : bold;
	  text-align            : center;
	  background-color      : #0000FF;
	  color                 : yellow;
	  padding               : 10px;
	  margin-top            : 10px;
	}

.GB,
.summ	{ font-family		: monospace;
	  font-weight		: bold;
	  color			: black;
	}

.summ	{ padding		: 10px;
	  margin		: 10px;
	  border		: 1px dashed #808080;
	  background-color	: #E0FFE0;
	}

.GB	{ text-align		: right;
	  padding		: 5px;
	  border-top		: 1px dotted black;
	}

.center	{ text-align		: center; }

.navihead
	{ color			: #FF00FF;
	  font-weight		: bold;
	  font-family		: monospace;
	  font-size		: 120%;
	}

.right	{ float			: right;
	  margin-left		: 20px;
	  margin-right		: 20px;
	  margin-bottom		: 10px;
	}

.left	{ float			: left;
	  margin-left		: 50px;
	  margin-right		: 20px;
	  margin-bottom		: 10px;
	}

.top	{ color			: teal;
   	  text-align		: center;
   	  font-family		: monospace;
	  font-weight		: bold;
	  font-size		: 150%;
	  padding		: 0px;
	  margin		: 0px;
	}

.Fat	{ font-weight		: bold;
	  font-family		: monospace;
	}