body        { font-family: Verdana, sans-serif;
              margin: 0;
              padding: 0;
              font-size: 80%;
              line-height: 1.0em;
              color: #000; 
              background-image: url("pics/bg.png"); }

p           { margin: 0px 4px 6px 4px; }

tt          { font: normal 10pt monospace; 
              padding: 0 4px 0 4px;
              background-color: #ffffff; }

pre         { font: normal 9pt monospace; 
              padding: 2px 4px 2px 4px;
              background-color: #ffffff; 
              border: 1px solid #888888; }
              
a           { color: blue; 
              text-decoration: none; }
           
img         { border: none; }

img.screenshot { padding: 10px 10px 25px 10px;}

table.page  { border-spacing: 0px; }
td.title    { text-align: center; 
              vertical-align: center;
              height: 81px;}
div.title1  { font: bold   16pt sans-serif; }
div.title2  { padding: 0; margin:0; }

div.button  { font: normal 10pt sans-serif; }

td.menu     { font: normal 10pt sans-serif; 
              vertical-align: top;
              padding: 0;
              margin: 0;
              text-align: center;  }
td.menu div { padding: 0;
              margin:  0; }

td.page    { background-color: #eef4ff; 
             border: 3px inset #f4f4ff;
             width: 660px;
             padding: 5px 15px 10px 5px;
             font: normal 10pt sans-serif;}
             
h1,h2,h3   { width: 100%; }
h1         { font-size: 1.2em;
             background-color: #4444cc;
             margin:  2px 10px 4px 0px; 
             padding: 2px 1px 2px 10px;
             color: #ffffff; }
h2         { font: bold 1.0em sans-serif; 
             background-color: #ccddff;
             padding: 0px 1px 0px 10px;
             margin:  12px 10px 5px 0px; }  
h3         { font: bold 0.9em sans-serif; 
             padding: 0px 1px 0px 10px;
             margin:  8px 10px 5px 0px; 
             border-bottom: 2px solid #8888ff; }  


div.cite   { font: normal 0.8em sans-serif; 
             margin:  0px 10px 5px 30px; }  



table.jnlp { border-spacing: 10px; } 
  
table.jnlp tr td { margin: 10px;
                   background-color: #ccddff; 
                   text-align: center; } 

/* ---- keyboard -------------------------- */                   

table.keytab    { border:4px outset #0000ff;
                  margin: 0 0 0 14px;  }
             
table.keytab td { background-color: #ffffff; 
                  padding:0.5em; }
                  
td.keys         { white-space:nowrap; 
                  text-align: right; }
                   
span.key        { border:3px outset #b0b0a0;
                  font: bold 0.9em sans-serif;
                  padding:.1em;
                  text-align: center; 
                  background-color: #e0e0d8;  }

/* ---------------------------------------- */