/* Time-stamp: 
*/

li { margin-left: -1.1em } 

li li { margin-left: -1em } 

.hilite { font-size: Larger; color: red; background: yellow; 
  padding: 1em; border: 1px; border-color:green; 
  border-style: solid; margin: 1em } 

div.a {padding:1em; border:3px; border-style:solid; 
  border-color:green; background:white } 

div.d {padding:1em; border:3px; border-style:solid; 
  font-size:smaller;   
  border-color:green; background:white } 

div.smaller {font-size:smaller; } 

span.smaller {font-size:smaller; } 

ul.b { margin: -1em } 

ol.space li { margin-top: 1em } 

img.c { padding:1px; border:1px; border-style:solid; margin:1em; 
  float:left } 

span.title { font-weight: bold }

/*
div.invertheader { margin:3px; padding:3px;background:white; 
  border:3px;border-color:green;border-style:solid 
  margin: 3px; padding: 1em; 
  text-align:center; 
  background: black; color: #b0ffb0; font: bold 200% sans-serif } 
*/

div.invertheader { 
  text-align:center; 
  background: black; color: white; font: bold 200% sans-serif;
  padding:1em;
  border:3px; border-color:green; border-style:solid 
 } 


/* LOC: Used for current location of my students. */

.loc { font-family: cursive,monospace  }


/* Indent a paragraph that follows another paragraph */

p + p { text-indent: 1.5em;
margin-top: 0.25em }


/* From http://www.w3.org/Style/Examples/007/menus.html */

div.banner {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: fixed;
  top: 2em;
  left: auto;
  width: 8.5em;
  right: 2em;
}
div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  background: #999;  
  border: thin outset #900;
  color: white;
}

div.banner>p { background: url(semi2x2b.png) transparent fixed;
   border-color: #025c7f }
div.banner a, div.banner em { border-top-color: #025c7f }


div.banner a, div.banner em { display: block; margin: 0 0.5em }
div.banner a, div.banner em { border-top: 2px groove #900 }
div.banner a:first-child { border-top: none }
div.banner em { color: #CFC }

div.banner a:link { text-decoration: none; color: white }
div.banner a:visited { text-decoration: none; color: #CCC }
div.banner a:hover { background: black; color: white }

DIV.map {			/* Reserve some room for the links */
  padding-top: 189px;
  padding-bottom: 1px;
  margin-left: -4%;
  margin-right: -6em;
  /* width: 100%; */
  margin-bottom: 4em;
  margin-top: 5em;
  clear: both;
  text-shadow: 0.2em 0.2em /* 0.2em */ silver;
}

body {
background-color: #d0ffd0;
}

h2:before {
    content:  counter(section-num) ". ";
    counter-increment: section-num;
}

h3:before {
    content:  counter(section-num) "." counter(subsection-num) " ";
}

h2 { color: red;
counter-reset: subsection-num;
}

h3 { color: blue;
    counter-increment: subsection-num;
 }

li { margin: 1em }