body          { background-color: black;
                 margin-left: 50 }
 body *        { font-family: Arial, Helvetica, sans-serif;
                 text-decoration: none;
                 vertical-align: top }
 h1            { font-size: large }
 h2            { font-size: medium }
 img           { margin: 20 }
 table         { background-color: white;
                 font-size: x-small; }
 *.nav td      { background-color: yellow;
                 font-weight: bold }
 * a           { color: blue }
 td.def        { background-image: url(tlo.gif);
                 background-position: bottom right;
                 background-repeat: no-repeat;
                 padding: 20 }
 td.def dt     { font-weight: bold }