body {
       background-color: white;
       font-family: verdana, sans-serif;
       }

h1, h2, h3, h4 { font-family: arial, sans-serif }
h2 { text-align: center }

td.col { /*background-color: #90e1f9; */
         width: 12em }
/* la largeur fixe est nécessaire pour que les autres colonnes du tableau
   ne compressent pas celle-ci */

td.bouton {
            border: solid thin;
            /* border: outset; */
            font-weight: bold;
            background-color: #b1f9dc;
            width: 14em;
            /*    height: 3em; */
            text-align : center;
            /*    padding-top: 0.5em;
               padding-bottom: 0.5em; */
            border-radius: 3px;
            }
td.bouton a { text-decoration: none }
td.bouton a:link    { color: black }
td.bouton a:visited { color: black }
td.bouton a:hover   { 
                      color: red; 
                      text-decoration: underline;
                      /*background-color: #47d19e;*/
                     /*border: inset;*/
                      }
td.bouton a:active  { color: red }

td.section { background-color: yellow;
             font-family: sans-serif;
             }

dt {
     text-align : center;
     font-weight: bold;
     font-style: italic;
     width: 19em;
     border: solid thin black;
     border-bottom-width: 0;
     background-color: #b1f9dc;
     margin: 2em 1em 0em 0em;
     padding: 0.5em 0em 0.5em 0em;
     }
dd {
     border: solid thin black;
     margin: 0em 1em 1em 0em;
     padding: 0.5em 1em 0.5em 1em;
     }
     
.centre {
  text-align: center;
  margin-left: auto;
  margin-right: auto;
}

kbd { 
     background-color: yellow;
}

pre {
    margin-left: 2em;
    margin-right: 2em;
    padding-top: 1ex;
    padding-bottom: 1ex;
    padding-left: 1em;
    padding-right: 1em;
    border: solid thin black;
    background-color: lightgrey;
}