Created February 2001. Updated 15 March 2002 and December 2005
<style type="text/css">
<!--
div#theBox {
border-color: #F00;
border-width: 10px;
border-style: solid;
/* http://www.w3.org/TR/REC-CSS2/box.html#border-style-properties */
margin: 0px;
padding: 20px;
}
//-->
</style>