body { 
   font-family: "DejaVu Serif", "Georgia", serif;
   background-color: beige;
}

/* This fixes the auto-resizing of the system monospace
   font in browsers. */
pre, code, kbd, samp, tt {
  font-family: monospace, monospace;
  font-size: 1em;
}

h3 {
     color: firebrick;
   }

h4 {
     color: seagreen;
   }
   
caption
   {
     color: slateblue;
   }
   
