body
{
  color: #0000a0;
  background: #e0f0e0;
  font-size: 12pt;
  font-family: sans-serif;
}
h1
{
  font-size: 16pt;
  font-weight: 600;
  text-align: center;
}
h2
{
  font-size: 14pt;
  font-weight: 600;
}
h3
{
  font-size: 13pt;
  font-weight: 600;
  font-style: italic;
}
p,div,ul,ol
{
  width: 780px;
}
div > ul
{
  width: 600px;
}
div > ul > li > ul
{
  width: 600px;
}
ul.nota
{
  padding-top: 10px;
  padding-bottom: 10px;
  padding-right: 10px;
  background: #d0e0f0;
  line-height: 120%;
}
ul.indice
{
  line-height: 140%;
}
a
{
  color: #0000d0;
  text-decoration: none;
}
a:hover
{
  text-decoration: underline;
}
a:visited
{
  color: #0000d0;
}
.rules
{
  padding: 10px 20px 10px 20px;
  color: #800000;
  background: #d0d0f0;
  font-size: 13pt;
}
.codice
{
  color: #800000;
  background: #fffff0;
  font-family: monospace;
  font-size: 11pt;
}
.inlncod
{
  color: #000080;
  font-family: monospace;
  font-size: 12pt;
}
.codetut
{
  color: #000000;
  background: #fffff0;
  font-family: monospace;
  font-size: 10pt;
}