/* Use Times New Roman for default font */
$DOCUMENT
{
  font-family: "Times New Roman";
  font-size: 16pt;
  margin-top: 5px;
  margin-left: 5px;
}

div.header {
    font-size: 18pt;
    color: blue;
    font-weight: bold;
}

div.footer {
    font-size: 14pt;
    color: blue;
    font-weight: bold;
}

div.realce {
   font-size: 20pt;
   color: blue;
   font-weight: bold;
}

div.para, p, li {
  font-size: 14pt;
}

pre.codigo{
   font-size: 12pt;
   color: #000066;
   background-color: #DDDDDD;
}

h1 {
  font-size: 28pt;
}

h2 {
  font-size: 24pt;
}

h3 {
  font-size: 20pt;
}

h4 {
  font-size: 16pt;
  color: #990066;
    font-weight: bold;
}


li.base {
  font-size: 16pt;
}

li.indice {
  font-size: 14pt;
  font-weight: italic;
  color: blue;
}

a.bnav {
  font-size: 12pt;
  font-weight: italic;
}