pre.term {    margin-left: 2em;    background-color: #EEE;    border: 1px solid #666;    padding-left: 0.5em;    overflow: auto;
 }


pre.termout {    margin-left: 3em;    background-color: #FFF;    left-border: 1px solid #666; right-border: 1px solid #666;   padding-left: 0.5em;    overflow: auto;
 }



pre.sniplabel {    margin-bottom: 0; margin-left: 2em;    background-color: #FFE;  padding-left: 0.5em;    overflow: auto;
 font-style: italic; }
pre.snip {    margin-top: 0; margin-left: 2em;    background-color: #EED;    border: 1px solid #666;    padding-left: 0.5em;    overflow: auto;
 }


pre.filelabel {    margin-bottom: 0; margin-left: 2em;    background-color: #EFE;  padding-left: 0.5em;    overflow: auto;
 font-style: italic; }
pre.file {    margin-top: 0; margin-left: 2em;    background-color: #DED;    border: 1px solid #666;    padding-left: 0.5em;    overflow: auto;
 }