/* General Layout */
 body {
  background-color: #F5DEB3;
  color: #000000;
 }
 :link { color: #0000FF }
 :visited { color: #800080 }
 :active { color: #FF0000 }
 
 div.wide { width: 85%; float: right; }

 img.right { float: left; }

p.mono{
	font-family: Courier, monospace;
}

/* table{ border: thin solid #C5C5C5; } */

td{ border: 1px solid #C5C5C5; }

a:hover { background-color: #708090; color: Silver; }

.link_ext{
	color: #CC6633;
}

.link_ext:visited {color: Fuchsia; }

/* Table of Contents */
.TableofContents #toc {
	border: 1px solid #AAA;
	background: #FFF8DC;
	padding: 5px;
	margin: 0 0 10px 10px;
	width: 25%;
	float: right;
	font-family: "Arial Narrow", 
	sans-serif; line-height: 120%;
	
}

.TableofContents #toc h1 { font-weight: normal; font-size: 1.5em; padding: 0;padding-bottom: 5px;  padding-top: 5px;  text-align: center;  background: transparent;  color: Black;    }

.TableofContents #toc a:hover { background-color: #FFDAB9; color: #7B7B7B; }
 
div.toc1 { margin-left: 1em; }

div.toc2 { margin-left: 2em; }

div.toc3 { margin-left: 3em; }

 

/* Menu */
.menu {
	border: 1px solid #AAA;
	padding: 3px;
	width: 12%;
	float: left;
	font-family: "Arial Narrow", sans-serif;
	background-color: transparent;
}

.menu a:hover { background-color: Blue; color: Silver; }
 /* dummy setting to allow for php code to selectively highlight menu item */
.Normal(background-color: transparent;) 

.MenuSelected { background-color: red; color: Silver; }


/* Main Content */
.content{
	padding: 5px;
	width: 72%;
	float: right;
	font-family: Arial, sans-serif;
	line-height: 150%;
}

.content h1 { font-size: 26px; margin-bottom: 0px;  background: #990000;  color: White;  padding-bottom: 10px;  padding-top: 10px;  line-height: 110%;        }

.content ul{ margin-top: 0; }

/* Google Ads */
 .GoogleAds{ width: 14%; float: right; }