/*th { background-color: #6666ff; font-family: Arial; font-size: 0.9em; color: white; }
td { font: arial; font-size: 0.8em; }*/
table { border-style: solid; border-width: 1px; } 
th { text-align: right; }
pre { border-style: solid; border-width: 1px; padding: 2px; background-color: lightgray; }
div.highlight { font-size: 1.4em; background-color: white; padding: 5px; border-style: solid; border-width: 2px; border-color: blue; color: black; background-color: yellow; }