body { color             : silver;
       background-color  : black;
       /*background        : url("../image/bg.gif");*/
       margin            : 3em 4em 5em 3em;}

h2,h3 { font-weight   : bold; }

h2 { color            : gainsboro;
     background-color : #6e7b8b;
     font-size        : 150%;
     padding          : 0.2em 0 0.1em 0.5em;
     border           : 1px solid gainsboro;
     margin           : 0 0 1em 0em;
     text-align       : left; }

h3 { color            : gainsboro;
     background-color : dimgray;
     font-size        : 130%;
     padding          : 0.2em 0 0.1em 0.5em;
     border           : 1px solid gainsboro;
     margin           : 2em 0 1em 0; }

span { color            : white;
       background-color : transparent;
       font-weight      : bold;
       margin           : 0 0.5em 0 0.5em; }

span.imp  { color            : tomato;
            background-color : transparent;
            font-weight      : normal;
            margin           : 0 0 0 0; }

span.junk { color            : dimgray;
            background-color : transparent;
            font-weight      : normal;
            margin           : 0 0 0 0; }

p { color       : lightgray;
    text-indent : 1em;
    line-height : 1.3em;
    margin      : 0.5em 0 1.5em 1em; }

p.no { text-indent: 0; }

p.right { text-align : right; }

p.center { text-align : center; }

p.command { color      : darkcyan;
            font-weight: bold;
            text-indent: 0em;
            padding    : 0.5em 0 0.5em 0.5em;
            border     : 1px solid darkcyan; }

table { border          : solid 2px dimgray;
        border-collapse : collapse;
        margin          : 0.5em 0 0.5em 0; }

table.no { border          : solid 0px dimgray;
           border-collapse : sequence; }

th { color            : gainsboro;
     background-color : dimgray; }

td { padding : 0.3em 0.6em 0.3em 0.6em; }

pre.src { font-family : "";
          margin  : 1.5em 0 1.5em 1em;
          padding : 1.5em 0 1.5em 1em;
          border  : 3px solid gray;
          background-color : #303030; }

a:link    { color            : dimgray;
            background-color : transparent;
            font-weight      : bold;
            text-decoration  : none; }
a:hover   { background-color : transparent;
/*            font-style       : italic;*/
            text-decoration  : underline; }
a:active  { text-decoration  : none; }

a:visited { color            : #4a4a4a;
            font-weight      : bold;
            text-decoration  : none; }