body {
  margin: 0px;
  padding: 0px;
  font: small Verdana, Sans-serif;
  text-align: center;
  background-color: #4c6a87;
}

#container {
  width: 750px;
  margin: 0 auto;
  text-align: left;
  color: #333;
  position: relative;
  background-color: #fff;
  height: 100%;
  border-right: 1px solid silver;
}

#title {
  margin: 0px;
  padding: 0px;
  border-bottom: 1px dotted silver;
}
#title h1 {
  margin: 15px 5px 0px 5px;
}
#title div {
  margin: 5px 5px 0px 5px;
  font-size: 80%;
}

#menu {
  background-color: #113355;
  color: #553311;
  width: 200px;
}

#menu ul {
  list-style: none;
  margin-left: 0;
  padding-left: 1em;
  text-indent: 1em;
  line-height: 1.8em;
}

#menu ul a {
  color: white;
}

#content {
  margin: 5px 5px 0px 5px;
  text-align: justify;
}

.rev-date {
  font-size: 90%;
  text-align: right;
  font-style: italic;
}

.breve {
  margin-bottom: 30px;
  border-bottom: 1px solid #ccc;
}

.doc {
  margin: 30px;
  padding: 20px;
  text-align: left;
}

.doc img {
  float: left;
  margin: 10px;
  border: 1px solid #ccc;
}

.doc .doc_titre {
  padding: 30px 0 0 30px;
}

.doc .doc_descriptif {
}

.doc .doc_info {
  margin-top: 10px;
  text-align: center;
  font-size: 0.8em;
}