body { 
  background-color:beige;
}

h1 { 
  color:darkslategrey;
  border-bottom:5px solid darkslategrey;
  text-align:right;
  margin-right:5%;
} 

h2 { 
  color:maroon;
  border-bottom:2px solid maroon
} 

h3 { 
  color:maroon;
  border-bottom:1px solid
 }

h4 { 
  color:maroon;
  border-bottom:1px dashed
 }


motcle{ 
  color:darkgreen;
  font-style:italic;
  font-weight:bold;
} 

pre.code{ 
  background-color:lightgrey;
  border: black 1px solid;
  padding: 0.5em;
  margin-left: 1em;
  margin-right: 1em;
  white-space: pre;
  width:40em;
 }

pre.normal{  }

ex  { 
  font-weight:bold;
  margin-top:2em;
 }

rmq  { 
  font-weight:bold;
  margin-top:2em;
 }

ul { 
  margin-top:0.25em;
  margin-bottom:0;
 }

ol { 
  margin-top:0.25em;
  margin-bottom:0;
 }

p > ul {
  color:blue;
  margin-top:0;
  margin-bottom:0;
 }


li {
  margin-bottom:0.25em;
  margin-top:0;
 }

a { 
  color:navy;
 }