.highlighted { background-color: yellow }
#outputDiv { font:10pt "Lucida Console", monospace; 
             margin: 10px; }