if $m->callers(-1) == $m->callers(0);
</%init>
- body { margin: 0; }
div.navoptbar { padding: 1em; background: #e0e0ff; }
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; }