pre.example {  font-family: "Courier New", Courier, mono; font-size: 12px; color: #000000; background-color: #FFFFCC; padding-top: 8px; padding-right: 8px; padding-bottom: 8px; padding-left: 8px; border: #000000; border-style: dashed; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px; width:auto;}
pre.tree { color: #000000; background-color: #dddddd;}
table { color: #000000; background-color: #ddddff;}
