/*

   A CSS style sheet for DTD documentation produced in HTML.
   $Id$
   
 */

BODY { margin-left: 10%; margin-right: 10%; margin-top: 24pt }

H1, H2 { padding-top: 12pt; font-family: Helvetica, Arial, sans-serif;
     color: navy }

H3 { margin-top: 24pt; background-color: #f5dcb3; padding: 4pt;
     border: thin solid #a59377; }