/* fond de base */
body {
  font-family: serif;
  font-size: 10pt;
  color: black;
  background-color: white;
  text-align: justify;
}

/* autres bricoles */
h1 {
  text-align: center;
  color: #660033;
  font-size: 14pt;
  background-color: #FFCCFF;
}

h2 {
  text-align: center;
  font-size: 12pt;
  color: #000099;
  background-color: #CCCCFF;
}

h3 {
  text-align: center;
  font-size: 10pt;
  font-style: oblique;
  color: black;
}

h4 {
  text-align: left;
  font-size: 10pt;
  color: black;
}

.red {
  color: red;
}

pre.code {
  font-size: 9pt;
  background-color: #FFFFCC;
}

pre.correc {
  font-size: 8pt; 
  color:blue;
}

pre.small {
  font-size: 10pt;
}

.small {
  font-size: 8pt;
}

address.coupure {
  color: #CC3300;
  padding-top: 1ex;
  border-top: thin solid #CC3300;
  padding-bottom: 1ex;
}

address {
  text-align: center;
  font-size: 80%;
}