h1 {font-size:2.0em;}
h2 {font-size:1.875em;}
h3 {font-size:1.5em;}
h4 {font-size:1.25em;}
p  {font-size:1em;}

pre.Java  { font-size:1.3em; background-color: #ffbb33; padding-left:25px; }
pre.drl   { font-size:1.3em; background-color: #ffcccc; padding-left:25px; }
pre.dsl   { font-size:1.3em; background-color: #ffcccc; padding-left:25px; }
pre.data  { font-size:1.3em; padding-left:25px; }


dl { margin-left: 0px; }
dd { margin-left: 0px; font-weight:bold; }
dt { margin-left: 50px; margin-bottom:0.5em; }

tt {font-size:1.25em;}