body, h1, tbody, td, p, .std     {color : #003366; background: #8888ff; font-family: helvetica}
      td.title                         {font-size: 300%}
      .contents, .main, .p             {font-size: 150%}
      .withborder                      {font-size: 150%; border-width: thin; border-style: ridge}
/*      :hover                           {color: #ffff00; background: #00ffff} */
      :link, :visited                  {color: #003366; background: #8888ff}
      .current                         {color: #00ffff; background: #8888ff}
      .glossaryheading                 {font-size: 200%; font-style: italic}
      .glossarydata                    {}