* Window boxes now have rounded corners, thanks to NiftyCube (which we
already use elsewhere). For some reason it doesn't work in the
Summary page, but it works everywhere else. I don't know why.
<! start beginbox.html>
<div class="box">
-<div class="boxlabel"><?BOXTITLE></span></div>
+<div class="boxlabel"><?BOXTITLE></div>
<div class="boxcontent">
<! end beginbox.html>
<! start trailing.html>
+<script type="text/javascript">
+ Rounded("div.box", "small transparent top bottom");
+</script>
</body>
</html>
padding: 0 0 0 0;
height: 100%;
overflow: auto;
- background-image: url(/static/body-background.gif);
+ background-color: #D8D8D8;
color: #000000;
font-weight: normal;
font-size: 10pt;