/* 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: "Microsoft Sans Serif", sans-serif; */
/*  font-family: "Times New Roman", serif; */
  color: black;
  background: white;
}

/*
h1              { font-size: 2em; margin: .67em 0 }
h2              { font-size: 1.5em; margin: .83em 0 }
h3              { font-size: 1.17em; margin: 1em 0 }
h4, p,
blockquote, ul,
fieldset, form,
ol, dl          { font-size: 1em; margin: 1.33em 0 }
*/
h5              { font-size: 1em; /* line-height: 1.17em; margin: 1.67em 0 */ }
h6              { font-size: 1em; /* margin: 2.33em 0 */ }

a:link, a:active {
  color: #00e;
  background: transparent;
}

a:visited {
  color: #529;
  background: transparent;
}

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

pre {
  font-family: "Courier New", monospace
}

a:link img, a:visited img {
   border-style: none
}

a img {
  color: white;		/* The only way to hide the border in NS 4.x */
}

ul.toc {
  list-style: disc;
  list-style: none;
}

div.issue {
  padding: 0.5em;
  border: none;
  margin-right: 5%;
}

.hideme { display: none }