html,
body
{ 
  color: black;
  background-color: #fcf0e0;
  font-family: Helvetica, sans-serif;
  }

a { text-decoration:none; }
a:link { color:#cc00cc; }
a:visited { color:#996600; }
a:active { color:#ff3333; }
a:hover
{
  color:#ff0000;
  text-decoration:underline;
  }

h1
{
  width: 97%;
  font-weight: bold;
  color: #ffffff;
  background-color: #7777dd;
  border: 1px none #8888f8;
  border-top: 1px solid #8888f8;
  border-left:  1px solid #8888f8;
  border-right: 3px solid #666699;
  border-bottom: 3px solid #666699;
  padding: 5px 3px 3px 0.5em;
  }

h2
{
  width: 98%;
  color: #ffffff;
  font-weight: bold;
  background-color: #cc6633;
  border: 1px none #9999ff;
  border-top: 1px solid #ff9999;
  border-right: 2px solid #993333;
  border-bottom: 2px solid #993333;
  border-left: 1px solid #ff9999;
  padding: 5px 3px 3px 0.5em;
  }

h3
{
  width: 98%;
  font-weight: bold;
  font-size: 1em;
  color: #ffffff;
  background-color: #7777dd;
  border: 1px none #8888f8;
  border-top: 1px solid #8888f8;
  border-left: 1px solid #8888f8;
  border-top: 1px solid #ccccff;
  border-left: 1px solid #ccccff;
  border-right: 2px solid #666699;
  border-bottom: 2px solid #666699;
  padding: 5px 3px 3px 0.5em;
  }

h4
{
  width: 95%;
  font-weight: bold;
  font-size: 1em;
  color: #ffffff;
  background-color: #77bb77;
  border: 1px none #8888f8;
  border-top: 1px solid #8888f8;
  border-left: 1px solid #8888f8;
  border-top: 1px solid #ccccff;
  border-left: 1px solid #ccccff;
  border-right: 2px solid #666699;
  border-bottom: 2px solid #666699;
  padding: 5px 3px 3px 0.5em;
  }

h5 
{
  width: 90%;
  font-weight: bold;
  font-size: 1em;
  color: #ffffff;
  background-color: #bbbb77;
  border: 1px none #8888f8;
  border-top: 1px solid #8888f8;
  border-left: 1px solid #8888f8;
  border-top: 1px solid #ccccff;
  border-left: 1px solid #ccccff;
  border-right: 2px solid #666699;
  border-bottom: 2px solid #666699;
  padding: 5px 3px 3px 0.5em;
  }

hr
{ 
  background-color: #fc9;
  border: 0px none #000;
  width: 100%;
  }

p,
dl,
dd,
pre
{ 
  margin-left: 2%;
  margin-right: 2%;
  }

p
{ 
  text-indent:  1em;
  }

li
{
  margin-top: 5px;
  margin-bottom: 5px;
  }

li p
{
  text-indent: 0px;
  margin-left: 0px;
  }

pre
{ 
  background-color: #ffdddd;
  border: 1px solid #000000;
  padding: 5px;
  padding-left: 10mm;
  margin-left:  10mm;
  margin-right: 10mm;
  }

div.title img
{
  float: left;
  }

div.counter img
{
  float: right;
  }

div.last_modified
{ 
  font-size: small;
  text-align: right;
  margin-bottom: 3px;
  text-decoration: underline;
  clear: right;
  }

div.cover img
{ 
  float: right;
  }

div.right
{ 
  text-align: right;
  }

div.left
{ 
  text-align: left;
  }

div.location
{ 
  float: left;
  }

div.other_lang
{ 
  text-align: right;
  float: right;
  }

div.copyright
{ 
  color:#009999;
  font-weight: bold;
  float: left;
  }

div.copyright address
{ 
  float: left;
  }

div.banner
{ 
  text-align: right;
 }

div.banner a img
{ 
  border-style: none;
  width: 88px;
  height: 31px;
  }

.hidden
{ 
  display: none;
  }

.underline
{ 
  text-decoration: underline;
  }

.clear
{ 
  clear: both;
  }

dt
{ 
  border-top: 1mm solid #ddddff;
  border-left: 1mm solid #ddddff;
  margin-top: 1mm;
  margin-bottom: 1mm;
  padding-left: 1mm;
  font-weight: bold;
  }

em
{ 
  font-weight: bold;
  }

span.key
{ 
  background-color: #fff;
  border: 0.5mm solid black;
  margin: 1mm;
  padding-right: 1mm;
  padding-left: 1mm;
  }

li.error:first-letter
{
  color: red;
  }

li.correct:first-letter
{
  color: blue;
  }

li.complement
{ 
  border: 1px solid #000000;
  padding: 5px;
  }

p.note
{
  font-weight: bold;
}