if $m->callers(-1) == $m->callers(0);
</%init>
- body { margin: 0; color: #000000; background: #ffffff; }
div.navoptbar { padding: 1em; background: #e0e0ff; }
- div.emph { padding: 1em; background: #c5c7ae; }
address { background: #d7d8b3; padding: 1em; }
- div.docs { padding: 1em; }
+ div.docs {
+ padding-left: 1em; padding-top: 0.15em;
+ padding-right: 1em; padding-bottom: 0.15em;
+ }
+ div.mouseover { color: blue; }
hr { display: none; }