/* Created using Style Master from Western Civilisation
IE6 { 37 74 558 625 } */

/* Size and indents */

Body {
	width: 800px;
	font-family: Lucida , Arial, Helvetica, sans-serif, Symbol, Greek;
	font-size: 1em;  /* To be used by good browswers  */
	background:url("../images/Backgrounds/statback.gif");  
	background-repeat: repeat;
	margin-left: +5%;
    margin-top: +5%;
	line-height: 150%;
	border-left: 5px #408080 double;
	border-top: 5px #408080 double;
}

p, h3, li {
	padding-left: 50px;
}

pre.indent {
   padding-left: 10px;
    }
    
.imgRight {
    float : right;
    margin-left: 20px;
   }

.Clear {
     clear : both;
     }
   
.imgLeft {
    float : left;
    margin-right: 175px;
	margin-left: 50px;
	padding-left: 50px;
	padding-top: 10px;
	margin-bottom: 15px;
	clear: right;
    }
	
	
.shiftLeft {
    float : left;

    margin-right: 50px;
	margin-left: 50px;
	padding-left: 50px;
	padding-top: 10px;
	margin-bottom: 30px;
	padding-right: 300px;
	
    }

/*  The next several cover the lists on the left and right
side
    of the main page.  */

#nav_left {
	margin-left: 0%;
	width: 20%;
	padding: 0;
	float: left;
	margin-top: 50px;
	padding-left: 10px;
}

#nav_right {
	margin-right: 0%;
	width: 20%;
	padding: 0;
	float: right;
	margin-top: 50px;
}



.nav li {
	width: 100%;
	margin: 0px;
	padding: 5;
	font-family "Lucinda Grande", sans-serif;
	font-size: 85%;
	list-style: none;
	background: green;
}

.nav a {
	display: block;
	margin: 0;
	padding: 4px 8px;
	text-decoration: none;
	text-align: center;
	color: #ffffff;
	border: 2px solid #000000;
	border-left:#408080 ridge 5px;
	border-top: #408080 ridge 5px;
	background: black;	
	font-size: 75%;	
}

.nav a:hover {
	
	text-color:green;
	border-right:#ff9900;
	border-bottom:ff9900;
	background: #234567 ;
}

p.index  {
	margin-left: 25%;
	margin-right: 20%;
}
	/* This keeps the paragraphs on index.html where they
should be. */

/* End of stuff for index.html  */



img.bar {
	width: 100%;
	height: 2px;
	padding-bottom: 2px;
}

.bars {
	width: 90%;
	height: 2px;
	padding-bottom: 2px;
	padding-left: 50px;
}

.lc {
	font-variant:normal;
	}
	
.url_link {
	font-weight:bold;
	text-align: center;
}

img.printout {
	margin-left: 15%;
	border-color: blue;
	
}

/* Headings */

h1 {
	color: green;
	font-family: "Times New Roman";WicksellMissaov
	font-style: italic;
	font-variant: small-caps;
	text-align: center;
}

h2 {
	color: blue;
	font-family: "Times New Roman italic";
	font-style: italic;
	text-align:center;
}


h3 {
color: teal;
font-family: "Times New Roman";
font-style: italic;
text-align: left;
margin-left: 10px;
}

h4 {
color: black;
font-family: "Times New Roman";
font-style: normal;
text-align: left;
margin-left: 10px;
}


h1.white {
     color:white;
     font-family: "Times New Roman";
	 font-style: bold;
	 font-variant: small-caps;
	 text-align: center;
      }

.codeBox {
    background:white;
    font-family:Consolas, Lucida , Arial, Helvetica, sans-serif, Symbol, Greek;
    width: 650px;
    margin-left: 45px;
    padding-left:10px;
    padding-right:10px;
    padding-bottom:10px;
    border-style: solid;
    font-size: 11pt; 
    border-color: darkblue;
    line-height: 100%;
 }
a:active {
background-color: #0000a0;}

a:visited {
color: red;}

a:hover {
background-color: #33ffff;
}

p:first-letter {
	font-size: 100%;
}

span.menuchoice {
	font-family: Arial;
	font-size: 1.1em;
	font-weight: bold;
}


p.digress {
font-family: Verdana, Arial, sans-serif;
margin-left: 3em;
margin-right: +3em;
font-size: small;
}

div.digress {
margin-left: 3em;
margin-right: 3em;
font-size: smaller;
}

.indent {
   margin-left: 50px;
   }

p.citation {
font-size: smaller;
margin-left: 50px;
}

pre {
	margin-left: 10px;
}

.pullquote {
	float: right;
	clear: right;
	width: 200px;
	border: 1px solid black;
	padding: 10px;
	font-size: 20px;
	background-color:rgb(195,151,51);
	margin: 20px 0 10px 10px;
	font-style: italic;
	color: rgb(255,255,255);
}

summary {
    color: green;
    background: #EEE;
	font-size: 18px;
	margin-left: 50px;
}

 .sidebar {
   height: 100%;
   float: right;
   width: 40%;
   border-left: double 5px green;
   padding: 0 10px;
   }
   
   
.sigma {
    margin-left: 10px;
    margin-top: 10px;
    border: 3px solid;
 }
    
.smallcode {
   font-size: 18px;
   font-family: Calibri; 
   font-weight: bold; 
   font-style: normal; 
   display: inline;
   }