/*
  colori
  #F8FFFA: sfondo del body; utilizzato per i bordi dei discendenti
  #BBFFCC: sfondo dell'intestazione e del pič di pagina
  #DDFFEE: sfondo del corpo della pagina
  #F0FFF8: sfondo di vari tipi di oggetti evidenziati
  #A04000: colore degli oggetti cancellati
  #00A040: colore degli oggetti di esempio
*/
body {background-color: #F8FFFA;}
div.intestazione,div.piepagina {border-color: #F8FFFA;}
div.intestazione,div.piepagina {background-color: #BBFFCC;}
div.corpo,div.note {background-color: #DDFFEE;}
code,p.code,samp,p.samp,div.top,div.bottom,thead.top,del,ins {background-color: #F0FFF8;}
del {color: #A04000;}
samp, p.samp {color: #00A040;}
/* fonti */
code,.code,samp,.samp {font-family: "Courier New", monospace;}
html {font-family: Cambria, "Times New Roman", serif;}
h1,h2,h3 {font-family: Calibri, Arial, sans-serif;}
body {
  /* padding: 10pt 20pt 0pt 20pt; */
  padding: 20pt 5pt 0pt 5pt;
  margin: 10pt 20pt;
  border-width: 0pt 1px;
  border-style: none solid;
  border-color: black;
  width: 500pt;
}
div.intestazione {
  position: fixed;
  padding: 10pt;
  border-width: 5pt;
  border-style: solid;
  top: 0pt;
  left: 21pt;
  width: 480pt;
  z-index:10
}
div.piepagina {
  padding: 10pt;
  border-width: 5pt 0pt 0pt 0pt ;
  border-style: solid;
  font-size: 0.8em;
}
div.corpo,div.note {
  padding: 10pt;
}
div.note{
  font-size: 0.8em;
}
code, p.code {
  padding: 1px;
  border: 1px dotted red;
}
samp, p.samp {
  padding: 1px;
  border: 1px dotted green;
}
ins {
  text-decoration: none;
  border-bottom: 1px dotted green;
}
/* eventuali oggetti da completare: */
p.todo {color: red;}