a:link      { text-decoration:none; color:#FF0000; }
a:visited   { text-decoration:none; color:#FF0000; }
a:hover     { text-decoration:underline; color:#000000; }
a:active    { text-decoration:underline; color:#000000; }

body.canvas { font-family:sans-serif; text-decoration:none;
              background-color:#FFFFCC; margin:35; }
body.bar    { font-family:sans-serif; text-decoration:none;
              background-color:#FFCC33; margin:0; }
body.intro  { font-family:sans-serif; text-decoration:none;
              background-color:#FFCC33; margin:80; }


tr.submenu  { background-color:#FFFFCC; }

#input      { background-color:#CCDDFF; padding:10; }
#output     { background-color:#CCFFDD; padding:10; }
#eval       { background-color:#FFDDCC; padding:10; }
#cite       { background-color:#FFDD66; padding:10; }