body.BODY  { color: #009900; background-color: #f0fff0; }
h1.TITLE   { color: #339999; }
td.TITLE   { color: #339999; font-size:28; font-weight:bold;}
td.TANUKI  { color: #e66666; font-weight:bold; }
td.SENSEI  { color: #0066ff; font-weight:bold; }
DIV.SOURCE { color:white; background-color:#556659; margin:1em; padding:1em; font-size:15 }
DIV.IMAGE  { color:white; background-color:#a3c4a3; margin:1em; padding:1em; font-size:15 }