/* this style sheet defines the basic style for all W3C pages */
/* you can point to this by adding:

     <LINK rel="Stylesheet" href="general">


   in the HEAD of your HTML document */

body {
  font-family: Trebuchet MS, Palatino, sans-serif;
  color: black;
  background: white;
}

p , ul, ol { text-indent : 1em ;
     margin-left: 3em  ; /* a bit of white space */ }

pre { margin-left: 5em; }

li { text-indent: 0; }

h1 { text-align: center }

h2 {font-style: italic; 
    text-align: center }

h3 { font-style: italic; 
     margin-left: 1em; }   /* distinguish from h2 */

address { text-align: right }

a:link, a:active {
  color: #00e;
  background: transparent;
  text-decoration: none;
}

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

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

div.sidebar {width: 25%; float: right; border: #000 1pt;
        background: #dde; margin: 0.5em}

div.sidebar h4 {margin-left: 1em}
div.sidebar ol {margin-left: 1em}

.navside { float:left }
.navside td { background-color: #eee; font-size: 70%; }

pre {
  font-family: monospace
}

.key {font-size: 50%}

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; }

.installButton {  margin-left: 30%; width: 25%;
        background-color: #eeeeff; padding: 1em;
        border: 0.1em blue;
    -moz-border-radius: 1em; /* CSS3: border-radius: .4em; */ }