body 
{
  line-height: 150%;
  color: black;
  background-color: rgb(90%,90%,90%)
  }

h1
{
  border: none;
  text-align: center;
  background-color: white;
  padding: 1ex;
}

h2, h3, h4, h5, h6 
{ 
  background-color: white ;
  border-width: 15px;
  color: black;
  background-color: white;
  text-align: left;
  border-bottom: 0.1em solid rgb(50%,50%,50%);
  /* padding-left: 1em; */
  padding: 0.5ex;
}

h2 
{
  border-left:  0.8em solid rgb(30,144,255);
  width: 90%;

  }

h3 
{
  border-left: 0.7em solid rgb(205,92,92);
  width: 80%;
  }

h4 
{
  border-left: 0.6em solid rgb(255,182,193);
  width: 70%;

  }

h5 
{
  border-left: 0.5em solid rgb(205,205,0);
  width: 60%;

  }

h6 
{
  border-left: 0.4em solid rgb(10,10,10);
  width: 50%;

  }

pre.code {
    margin-top: 8pt;
    margin-bottom: 8pt;
    background-color: #FFFFEE;
    white-space:pre;
    border-style:solid;
    border-width:2pt;
    border-color:#999999;
    color:#111111;
    padding:5px;
}
     
p { text-indent: 1em;
    color: black;
    margin-bottom: 0.5em; 
    margin-top: 0.5em; 
    }

dt 
{
  border-color: #ccccff;
  border-style: outset;
  border-width: 2px;
  background-color: #f0f0ff;
  width: 40%;
  }
dl
{
  border-color: #ffcccc;
  border-width: 2px;
  background-color: #fff0f0;
  width: 80%;
  }

div.diffold 
{
  background-color: #FFFF80;
  border-style:none;
  border-width:thin;
  width:99%;
}
div.diffnew 
{
  background-color: #80FF80;
  border-style:none;
  border-width:thin;
  width:99%; 
  }


a.notexist
{
    font-weight: bold;
  /* background-color:  #F8F8F8; */
    color: #FF2222;
}

a:hover
{ 
  }

a:active
{ 
  }

a.external 
{
  background-color: white;
}