<!--
body {
  background-color: black;
  color: white;
  font-family: sans-serif;
  font-size: small;

/*  width: 230px; */
}

a img {
  border-style: none;
}

div.haut, div.bas {
  text-align: center;
}

p.toc {
  margin-top: 20px;
  text-align: center;
  border-style: solid;
  border-width: 2px 0px 0px 0px;
  border-color: #C54639;
}

h1 {
  text-align: center;
  font-size: medium;
}

h2 {
  background-color: #C54639;
  color: white;
  font-size: medium;
}

img.icone {
 vertical-align: middle;
 border-color: #C54639;
 border-style: solid;
 border-width: 1px;
}

ul.menu {
  font-size: medium;
}

ul.menu li {
  margin: 0.0em 0em 0.5em 0em;
}

a:link, a:active, a:visited {
  color: white;
}

a:hover {
  color: #C54639;
}
-->