body {
  color: black;
  background: white;
  padding-left: 1em;
  padding-right: 1em;
}

/* Les couleurs */

#chapitre {
  border: #d84 4px ridge;
  background-color: #fae8d6;
}

#toc {background-color: #f9f9f9;}

hr {color: #999;}

.attention {background-color: #fc9;}

div.code, span.code, p.code span {background-color: #dfd;}

a[href] {color: #df7000;}

@media print {
  p a[href] {color: black;}
  p.navigation a[href] {color: #df7000;}
}

/* Les polices */

@media screen {
  body {font: small sans-serif;}
}
@media print {
  body {font: medium serif;}
}
p.epigraphe, p.auteur {
  font: x-small Verdana;
}
.code, .exec, tt {
  font: small monospace;
}
.grec {font: medium serif;}

/* Chapitre
   "h1 id=chapitre" ne permet pas d'ajuster le
   cadre à l'intitulé ; il faut combiner "h1"
   et "span id=chapitre"
*/

h1 {
  font-size: 140%;
  font-weight: normal;
  text-align: center;
  margin-top: 3em;
  margin-bottom: 3em;
}
#chapitre {
  padding: 1em;
  white-space: nowrap;
}

/* Sections */

h2 {
  clear: both;
  font-size: 120%;
  font-weight: normal;
  margin-top: 1em;
  /* margin-left: -1em; */
  border-bottom: #aaa 1px solid;
}

h3 {
  clear: both;
  font-size: 110%;
  font-weight: normal;
  margin-top: 1em;
}

@media print {
  h2, h3 {
    font-family: sans-serif;
    page-break-after: avoid;
  }
}

h3.exercice {margin-left: -0.5em;}

/* Flottants */

.gauche {
  float: left;
  margin-right: 2em;
}
.droite {
  float: right;
  margin-left: 2em;
}

.centre {
	display: block;
	margin-left: auto;
	margin-right: auto;
}

/* Les différents styles de paragraphes */

p {
  text-align: justify;
  margin-top: 0.7em;
  margin-bottom: 0.7em;
}
p.haut {margin-top: 0em;}
p.bas {margin-top: 2em;}
p.attention {
  margin: 1em 15%;
  padding: 0.5em;
  border: #aaa 1px solid;
}
p.centre, p.formule {text-align: center;}
p.court {
  margin: 1.5em;
  text-align: center;
  white-space: nowrap;
}
p.code {
  margin-left: 2em;
  white-space: pre;
}
p.corrige {
  font-style: italic;
  font-size: smaller;
}

span.attention, span.encadre {
  padding: 0.5em;
  border: #aaa 1px solid;
}

div.code {
  white-space: pre;
  margin: 1em 2em;
  padding: 1em;
  float: left;
}

/*
Une trace d'exécution est décalée vers la droite et encadrée ;
pour ajuster le cadre, jouer sur les classes
gauche et droite pour faire flotter l'objet
*/

div.exec {
  white-space: pre;
  margin-left: 2em;
  padding: 1em;
  border: #aaa 1px solid;
}

/* sec s'oppose à flottant... */
.sec {clear: both;}

/* bordures des tables */

table.cadre {
  border-collapse: collapse;
	empty-cells: hide;
}
/* attention : gauche et droite déjà pris pour objets flottants */
td.ouest, th.ouest {
  border-top: #333 1pt solid;
  border-bottom: #333 1pt solid;
  border-left: #333 1pt solid;
}
td.milieu, th.milieu {
  border-top: #333 1pt solid;
  border-bottom: #333 1pt solid;
}
td.est, th.est {
  border-top: #333 1pt solid;
  border-bottom: #333 1pt solid;
  border-right: #333 1pt solid;
}
td.vide {border: hidden;}
td.cadre2, th.cadre2 {border: #d84 2pt solid;}

a[href] {text-decoration: none;}
a:hover {text-decoration: underline;}

.small {font-size: 90%}
sub, sup {font-size: 80%}
span.barre {text-decoration: overline;}
ol.alpha {list-style-type: lower-alpha;}
li {
  text-align: justify;
  margin-top: 0.3em
}
.retrait {margin-left: -0.5em;}
.decale2 {margin-left: 2em;}
.decale4 {margin-left: 4em;}

.compact, span.code {white-space: nowrap;}
.saut {page-break-before : always;}

