body {
  margin-left: 3em;
  margin-right: 3em;
  font-size: 12pt;
  /*background: #E0E0E0;*/
}

sup, sub {
  font-size: 8pt;
}

div#titre {
  text-align: center;
  width: 100%;
  font-family: sans-serif;
  font-weight: bold;
  font-size: 32pt;
  margin-top: .7em;
  margin-bottom: .5em;
}
div#sous-titre { 
  /* à utiliser sous un titre exclusivement, à
   * cause du margin-top: -1em;
   */
  text-align: center;
  width: 100%;
  font-family: sans-serif;
  font-weight: bold;
  font-size: 16pt;
  margin-top: -1em;
  margin-bottom: 2em;
}

div.banner {
  display: none;
  text-align: center;
  margin-bottom: 2em;
}

div#langmenu {
  font-family: sans-serif;
  font-weight: bold;
  font-size: 10pt;
  position: absolute;
  top: 0;
  right: 0;
  padding: 1em;
}

div#menu {
  font-family: sans-serif;
  font-weight: bold;
  font-size: 12pt;
  width: 100%;
  text-align: center;
  margin-top: 1em;
  margin-bottom: 1em;
}

div#navigation {
  font-family: sans-serif;
  font-weight: bold;
  font-size: 10pt;
  position: absolute;
  top: 0;
  left: 0;
  padding: 1em;
}

/*
div#menu a {
  text-decoration: none;
}

div#menu, div#navigation {
  //border-style: solid;
  //border-width: 1px;
}
*/

h1, h2, h3 {
  font-family: sans-serif;
  font-weight: bold;
  margin-bottom: 1em;
}

h1 {
  margin-top: 2em;
}

h2, h3 {
  margin-top: 1em;
}

/*h1:before {
  content: counter(chapter) ". ";
  counter-increment: chapter;
  counter-reset: section;    
}

h2:before {
  content: counter(chapter) "." counter(section) " ";
  counter-increment: section;
}*/

p {
  font-family: sans-serif;
  font-size: 12pt;
  text-align: justify;
  /*text-indent: 1.5em;*/
}

p#intro {
  margin-bottom: 3em;
}

li {
  font-family: sans-serif;
  font-size: 12pt;
  text-align: justify;
}

div.image {
  clear: left;
}

div.image img {
  float: left;
  margin-right: 2em;
  margin-bottom: 2em;
}

div.image p {
  padding-top: 3em;
}

span.prog {
  font-family: monospace;
}

span.dev {
  font-size: 12pt;
  font-family: monospace;
}

div.figure {
  margin-top: 2em;
  margin-bottom: 2em;
  text-align:center;
}

div.figure p.caption {
  text-align: center;
  font-style: oblique;
}

div.figure p.caption:before {
  content: "Figure " counter(figure) ": ";
  font-weight: bold;
}

span.display {
  font-family: monospace;
}

span.bouton {
  font-style: oblique;
}

ul.filelist li {
  font-family: monospace;
  font-size: 12pt;
}

.foot {
  padding-top: 20pt;
  clear: left;
}

table#contact {
  border-style: solid;
  border-width: 1px;
}

table#contact td, table#contact th {
  text-align: center;
  border-style: solid;
  border-width: 1px;
  font-size: 10pt;
}

table#contact th {
  background-color: #dddddd;
}

img.w3c {
  border: None;
}

span.adminfo {
  font-style: oblique;
  font-size: 9pt;
}

sub.latex {
  vertical-align: -25%;
}

sup.latex {
  vertical-align: 25%;
  font-size: 70%;
}