
dl {
    padding-left: 1em;
    margin: .33rem 0rem .33rem 0rem;
}

dt {
    margin: .5rem 0rem .3rem 0rem;
}

dd {
    margin: .3rem 0rem .5rem 1rem;
}

#toc ol, #toc ul {
    padding-left: 1em;
}

#toc li {
    padding-left: .25em;
}

#text ul, #text ol {
  margin: .33rem 0 .33rem 1rem;
  padding: 0;
  line-height: 1.3;
}  

#text ul {
  list-style-type: square; 
}

#text li {
  margin: .5rem 0 .5rem 1rem;
  padding: 0;
}

#text ul.compressed li, #text ol.compressed li {
    margin:  0 0 0 1rem;
}

#text ul.nobullet li {
  margin: 0 0 0 0.25rem;    
}

/*
li:before {
    color: #AAAAAA;
}
*/

