/* Mise en page générale */
h1, h2 { text-align: center; margin-top: 1em; font-family: "Arial", "Helvetica", "sans-serif"; }
p, div { margin: 2em 5%; text-align: justify; }
img { border: none; }
ul { margin: 0em 0px; }
li { margin-top: 0.2em; }

/* Mise en page des menus */
div.menu, div.menu *, #contenu { margin: 0; padding: 0; clear: none; }
div.menu {
  float: left; width: 18%; margin: 1em 2.5% 2em 1%;
  background-color: #D8EF86; padding: 0.5em 10px;
  border-radius: 1em; -moz-border-radius: 1em; -webkit-border-radius: 1em;
}
/* quel machin pourri cet IE : la marge en pourcentages est doublée  */
body > div.menu { margin: 2em 5% 2em 2%; }
div.menu h3 {
  text-align: center; margin: 0.5em 0 0.5em; padding: 0.5em 5px;
  background-color: #F0F6A4; color: #87C318;
  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 1em;
  border-top: 2px solid #FFD02C; border-bottom: 2px solid #FFD02C;
}
div.menu p {
  font-family: "Arial", "Helvetica", "sans-serif"; font-size: 0.9em; 
  padding: 0.1em 0px; text-align: left;
}
div.menu a { color: #344C20; text-decoration: none; }
div.menu a:hover { color: #4FAF2C; }
.actuel { font-style: italic; }
#validator { text-align: center; margin: 1em 0px; }

/* Mise en page du contenu */
#contenu { float: right; text-align: justify; margin: 0px 5% 2em 0px; width: 67%; }
#contenu p, #contenu div { margin: 2em 0px; }
p.suivi { margin-bottom: 0.1em !important; }
p.suite { margin-top: 0.1em !important; }

/* Couleurs */
body { background-color: #C9D5ED; }
a { color: #4FAF2C; text-decoration: none; }
a:hover { color: #6885C4; text-decoration: underline; }
h1 a, h1 a:hover, h2 a, h2 a:hover, h3 a, h3 a:hover { color: #000; }

/* Mettre en valeur, comme pour un résumé des choses importantes */
.resume { color: #344C20; background-color: #D8EF86; font-weight: 700; }

/* Les notes en bas de page */
span.note { font-size: 0.7em; vertical-align: top; }
p.note, div.note { font-size: 0.8em; margin: 2em 10%; }

/* Le code */
/* Sans SyntaxHighlighter. Ne devrait plus être nécessaire... */
pre.code { display: block; margin-left: 12%; }
code { font-style: italic; font-size: 1.2em; }
.ligne { display: block; text-align: center; }
/* Avec SyntaxHighlighter */
div.syntaxhighlighter { width: 100% !important; margin: 0px !important; }

/* Capture d'écran */
.capture { width: 30%; float: right; margin: 0.5em 2% 2em 5%; }

/* Mise en évidence des mots étrangers */
.en { font-style: italic; }