/* This style sheet was obtained from //www.w3.org/StyleSheets/base.css
  It was modified: to include this note;  to modify font family
        to set link colours to common conventions.  ... JRG Sept 1999  */
  
/* this style sheet defines the basic style for all W3C pages */
/* you can point to this by adding:

     <LINK rel="Stylesheet" href="/StyleSheets/base">

   in the HEAD of your HTML document */

BODY {
  font-family: serif;
  color: black;
  background: #CCC;
}

A:link, A:active {
  color: #00E;
  background: transparent;
}

A:visited {
  color: #60F;
  background: transparent;
}

DIV.intro {
  margin-left: 5%;
  margin-right: 5%;
  font-style: italic
}

PRE {
  font-family: monospace
}

IMG.icon { 
  border: none
}

UL.toc {
  list-style: none
}