div.topic { 
    display: none; 
    margin-bottom: 1em; 
    padding: .25em; 
    border: black thin solid; 
    background-color: #EEEEFF; 
    width: 40em; 
} 

p.button { 
    margin: .25em; 
    padding: .25em;   
} 

h2 { 
  margin: 0; 
  padding: 0; 
  margin-top: 1em;   
   
} 


div.topic {
    display: none; 
    margin-bottom: 1em;
    padding: .25em;
    border: black thin solid;
    background-color: #EEEEFF;
    width: 40em;
}

p.button {
    margin: .25em;
    padding: .25em;   
}

h2 {
  margin: 0;
  padding: 0;
  margin-top: 1em;  
  
}


  
    div.codebox {
      background-color: #E0E0E0;
      color: black;
      font-family: monospace;
      padding: .5em;
      margin: .5em;
      border: black medium solid;
    }
	
	h2.nav {
	  position: absolute;
	  left: -200em;
	  top: -20em;
	}
	
	ul.nav {
	  margin: 0;
	  padding: 0;
	}
	
	ul.nav li {
	  display: inline;
	  list-style: none;
	  padding-right: 1em;
	}