html body {
  margin: 1em 8% 1em 8%;
  line-height: 1.2;
}

body {  
  color: black;
  background-color: white;
  text-align: justify;  
}

@media screen {
  html body { font-family: sans-serif; }
}

@media print {
  html body { font-family: serif; }
}

h1, h2, h3, h4, h5, h6, h7, h8, h9 {
  font-weight: bold;
  line-height: 1.3;
  margin-top: 1em;
  margin-left: 0;
  color: maroon;
}

pre.example {
  background-color: lightgray ;
  border: 1px solid gray;
  border-radius: 4px;
  overflow : auto;
}

hr {
  border-width: 0 0 1px 0;
  border-style: solid;
  border-color: silver;
}

a:link {
  color: darkblue;
  text-decoration: underline;
}

a:visited, a:hover, a:active {
  color:darkmagenta;
  text-decoration: underline;
}