/* CSS */


ul li { 
  list-style: circle;
}

.alfabeto {list-style-type: lower-alpha;}

ul.menu li
{ 
  list-style: none;
}

ul.article-docs li
{ 
  list-style: none;
}

#tool-bar li
{ 
  list-style: none;
}


breadcrumb.ul {
  list-style: circle;
  font-size: 1.0em;
  line-height: 0;
  margin-top: 0;
  margin-bottom: 0; 
}

breadcrumb.li {
  list-style: circle;
  font-size: 1.0em;
  line-height: 1.2em;
  margin-top: 0.2em;
  margin-bottom: 0.1em; 
}

li.breadcrumb {
  list-style: circle;
  font-size: 1.0em;
  line-height: 1.2em;
  margin-top: 0em;
  margin-bottom: 0em; 
}

.headings
{
font-size: 11pt;
margin: 1em 0;
}

.headings .notes,
.headings .source
{
font-size: 11pt;
margin-top:0.5em;
font-size:0.8em;
margin-bottom: 8px;
}

.subhead
{
font-size: 12pt;
font-style:normal;
}