body {
  background: #f6f6f6;
  margin-left:  7%;
  margin-right: 7%;
}
h2 { margin-left: -4%; font-size: 100%; }
h1.prog {color: #FFFFFF;}
h2.prog { margin-left: -4%; font-size: 100%; text-align: center; color:green}
p  { text-align: justify; }
p.petit  {color: #FF9900;   font-style : italic; text-align: center;}
ul { list-style-type: disc; }
ul ul { list-style-type: circle; }
.c   { color: #c52d2d; }
.d  { color: #3F803F; }
.in  { color: #000000; }
.his { color: #cd00cd; }
.out { color: #0000cd; }
.err { color: #cd0000; }
td.set   { background: #cdcd99; text-align: center; }
td.shade { background: #ccffcc; text-align: center; }
.head {
  font-weight: bold;
  background: #cdcffc;
  background:#ffcc99;
  margin-left:0em;
  margin-top:0.5em;
  margin-bottom:0.5em;
  padding-bottom: 0.8em;
  padding-top: 0.8em;
  border-style: solid;
  border-width: 1pt;
  text-align: center;
}
h1.head {
  font-size: 200%;
}

h2.head {
  font-size: 140%;
}
