body { text-align: justify; }
div.terminal { font-family: monospace; white-space: pre; margin: 0.5cm; background: #ffffcc; }
pre.terminal { margin: 0.5cm; background: #ffcccc; }
pre.code { margin: 0.5cm; background: #ccffff; }
div.quote { margin: 0.5cm; }
span.saisie { color: red; border: solid red 0.5pt; font-weight: bold;}
span.srcjava { font-family: sans-serif; }
span.com { font-family: serif; font-style: italic; color: green; }
/* table.code { vertical-align: top;  } */
td.numlig { font-family: monospace; text-align: right; color: silver; }
td.solutionCachee {  border: 1pt solid black; background: #ffffcc; display: none; visibility: hidden;}
td.solution {  border: 1pt solid black; background: #ffffcc; }
tt.kw { font-weight: bold; color: blue; }
iframe { margin: 0.5cm; background: #ccffcc; } 
ul.none { list-style-type: none; }