body { 
  height: 100%;
  /* background-image: url(/localicons/papier.jpg); */
  background-color: white;
  margin: 0 0 0 0;
  padding-left: 3%; 
  padding-right: 3%;
  padding-bottom: 0.5em; 
  padding-top: 0.5em; 
  font-family: Helvetica, Arial, sans-serif;
  font-size: 11pt;
}

h1 { font-size: 18pt; }
h2 { font-size: 14pt; }
h3 { font-size: 12pt; }
h4 { font-size: 12pt; }
h5 { font-size: 12pt; }
h6 { font-size: 12pt; }

pre { 
  font-family: monospace;
  font-size: 12pt; 
}

tt { 
  font-family: monospace; 
  font-size: 12pt; 
}

p.indented { margin-left: 3%; }

b.verybig { font-size: 18pt; }

div { 
  font-family: Arial, Helvetica, sans-serif; 
  font-size: 11pt; 
}