div.domfun{border:1px solid gray;background:#efefef;margin:2em 0;padding:0.5em;}
div.domfun a,div.domfun h4{font-weight:bold;}
div.domfun h4{color:#555;font-family:verdana,sans;}
.code_div{background:#f9f9f9;color:#33e;white-space:pre;font-size:0.8em;font-family:courier,fixed;border:1px dashed red;padding:0.5em;margin:1em 0;line-height:1em;float:left;}
.code_div p{margin:0;padding:0;}
.clear_div{clear:left;}
.show_code_link{font-size:0.8em;font-weight:normal;font-family:courier,fixed;}
.show_code_link:link,.show_code_link:visited{color:green;}
#is_colorizer_running_text{font-size:0.7em;color:red;visibility:hidden;}
.note{color:red;}