/* For page titles */
h1
{
  font-size: 14pt;
  margin-top: 0.1em;
  margin-bottom: 0.1em;
  letter-spacing: 0.2em;
  word-spacing: 0.2em;
}

/* For page descriptions */
h2 { font-size: 13pt }

h3 { font-size: 12pt }

h4 { font-size: 11pt }

p.miseajour { display: none }

a { text-decoration: none }

button.d0 { color: gray }

/* Le tri se fait par cette colonne. */
button.d1 { color: black }

table.naviguation { display: none }

table.recherche { display: none }

table.export { display: none }

td { font-size: 10pt }

td.sr1 { border: none }

td.sr2 { border: none }

td.sr3
{
  border: none;
  background-color: black;
  color: white;
  font-family: monospace;
}