/* selector { property: value } */
/* selector { property1: value1; property2: value2 } */
/*       1         2         3         4         5         6         7        */

body               { background: white url(fig/background.gif);
                     color: black; }
h1, h2, h3, h4, h5, h6 {
                     color: black;
                     font-variant: small-caps; }
h1                 { font-size: x-large;
                     text-align: center; }
h2, h4, h6         { font-style: italic; }
h2                 { font-size: x-large; }

a:active           { color: #cc0000;
                     text-decoration: none;
                     font-weight: bold; }
a:hover            { color: #cc0000;
                     text-decoration: none;
                     font-weight: bold; }
a:link             { color: #cc0000;
                     text-decoration: none;
                     font-weight: bold; }
a:visited          { color: #cc0000; 
                     text-decoration: none;
                     font-weight: bold; }

table              { padding: 5pt;
                     border: 2pt; }
tr.header          { background: #008080; }
tr.body            { background: #add8e6; }
td.header          { font-weight: bold; }
td.index           { width: 30%; }
td.main            { ; }


/*
DIV { position: absolute}
DIV.logo { margin-top: 70; margin-left: 330 }
DIV.name { margin-top: 100; margin-left: 270 }
DIV.motto { margin-top: 140; margin-left: 270}
DIV.bodystuff { margin-top: 200; margin-left: 240}
DIV.links { margin-top: 350; margin-left:240 }
P.logosymbol { font-family: webdings; color: lightblue; font-weight: bold; font-size: 50pt; }
P.nametext { font-family: verdana; font-weight: bold; font-size: 15pt; }
P.mottotext { font-family: verdana; font-weight: bold; color: lightblue; font-style: italic; font-size: 10pt }
P.bodytext { font-family: verdana; font-size: 10pt; font-weight: bold }
BODY { background-color: lightyellow} 

.tiny              { font-size: 10px;
                     font-family: arial, helvetica; }
subhead            { font-family: arial, helvetica; }

div                { position: absolute }
div.body           { margin-left:  30%; }
div.index          { margin-left:   0%;
                     margin-right: 80%; }
div.code           { font-family: courier;
                     padding-bottom: 5;
                     padding-top: 5 }

div.header         { margin-top: 0;
                     margin-left: 75 }
*/