body {
  padding: 1em 0em 0em 10px;
  margin: 0;
  font-family: serif;
  color: black;
  background: white;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
}
a:link { color: #048; background: transparent; text-decoration: none; }
a:visited { color: #048; background: transparent; text-decoration: none;}
a:active { color: #840; background: transparent; text-decoration: none;}

a:link img, a:visited img { border-style: none } /* no border on img links */

a img { color: white; }        /* trick to hide the border in Netscape 4 */
@media all {                   /* hide the next rule from Netscape 4 */
  a img { color: inherit; }    /* undo the color change above */
}




th, td { /* ns 4 */
  font-family: serif;
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 0px;
  padding-right: 0px;
}


ul {
//  list-style-type: "🔔";
  list-style: none;
  margin-left: 0;
  padding-left: 0;
}

li {
  padding-left: 1em;
  text-indent: -1em;
}

li:before {
  content: "";
  padding-right: 5px;
}

h1, h2, h3, h4, h5, h6 { text-align: left }
/* background should be transparent, but WebTV has a bug */
h1, h2, h3, h4, h5, h6 { color: #0414ac; background: white }
h1 { font: 160% serif }
h2 { font: 140% serif }
h3 { font: 120% serif }
h4 { font: bold 100% serif }
h5 { font: italic 100% serif }
h6 { font: small-caps 100% serif }

.hide { display: none }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }

p.copyright { font-size: small }
p.copyright small { font-size: small }

@media screen {  /* hide from IE3 */
a[href]:hover { font-style: italic; text-decoration:underline; }
}

pre { margin-left: 2em }
/*
p {
  margin-top: 0.6em;
  margin-bottom: 0.6em;
}
*/
dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
dt { font-weight: bold }

pre, code { font-family: monospace } /* navigator 4 requires this */

ul.toc, ol.toc {
  list-style: disc;		/* Mac NS has problem with 'none' */
  list-style: none;
}

@media aural {  
  h1, h2, h3 { stress: 20; richness: 90 }
  .hide { speak: none }
  p.copyright { volume: x-soft; speech-rate: x-fast }
  dt { pause-before: 20% }
  pre { speak-punctuation: code } 
}

.autoscrollable-wrapper {
  overflow: auto;
  max-height: 100%;
  display: flex;
  flex-direction: column-reverse;
}

a.button {
    padding: 0px 3px;
    border: 1px outset buttonborder;
    border-radius: 3px;
//    color: buttontext;
    color: "008000";
    background-color: buttonface;
//    background-color: "#008080";
    text-decoration: none;
}

a.buttonred {
    padding: 0px 3px;
    border: 1px outset buttonborder;
    border-radius: 3px;
//    color: buttontext;
    color: "#dc1404";
    background-color: buttonface;
//    background-color: "#dc1404";
    text-decoration: none;
}


body {
  background-image: url(../images/recomadeeasylogo.png);
}
