body { 
  margin-left: 10%; 
  margin-right: 10%; 
  color: black;
  background: white;
}

h1 { 
  margin-left: -8%; 
  /* color: #408080; */
}
h2,h3,h4,h5,h6 { 
  /* font-family: "Papyrus", sans-serif; */
  margin-left: -4%; 
}
hr { 
  margin-left: -6%;
  width: 112%
}
hr.shorter { 
  margin-left: 5%;
  width: 90%
}

dl,pre { 
  margin-left: 4%;
  margin-right: 4%;
}

a img { 
  border-style: none;
}
span.this { 
  background: black;
}
div#menu { 
  margin-left: -10%; 
  margin-right: -10%; 
  text-align: center;
}
div#menu a:hover { 
  background: blue;
}

div.center {  
  margin-left: -12%; 
  margin-right: -12%; 
  text-align: center;
}