body {color: black; background: white; }
body {margin-left: 10%; margin-right: 10%; }
body {font-family: Helvetica, sans-serif; }
 
h1,h2,h3 {text-align: center;}

pre { font-family: monospace; }
tt {font-family: monospace; }


/* li.nav is my attempt at consistent navigation: if it's in this
   colour, it's a navigation aid around my site. 
*/
li.nav  
   { 
    background: rgb(204,255,204); 
    color: black; 
    padding: 0.25em;
    border: none
   }

/* I need a different colour for links which navigate inside one
   document and don't go elsewhere. I'll try to get it as a paler
   shade of the "around the site" one:
*/
li.int-nav 
   { 
    background: rgb(236,255,236); 
    color: black; 
    padding: 0.25em;  
    border: none; 
   }


p.centred { text-align: center; }
p.nav { background: rgb(204,255,204);  color: black; }

/*
     FILE ARCHIVED ON 06:18:03 Jul 13, 2006 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 16:24:21 Sep 29, 2017.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/