<!--
  ul.code {
    list-style-type: none;
    margin-top: -12px;
    margin-bottom: 0;
  }
  font.btitle {
    font-family: helvetica,arial;
    font-size: large;
    color: black;
  }
  font.title {
    font-family: helvetica,arial;
    font-size: 11pt;
    color: black;
  }
  font.subtitle {
    font-family: helvetica,arial;
    font-size: 9pt;
    color: black;
  }
  font.toolbar {
    font-family: helvetica,arial;
    font-size: 8pt;
    color: black;
  }
  font.meta {
    font-family: helvetica,arial;
    font-size: x-small;
    font-style: italic;
    color: black;
  }
  font.err {
    font-family: helvetica,arial;
    font-size: x-small;
    font-style: italic;
    color: red;
  }
  font.menu {
    font-family: helvetica,arial;
    font-size: 10pt;
    color: black;
  } 
  font.amenu {
    font-family: helvetica,arial;
    font-size: x-small;
    color: black;
  }
  font.smenu {
    font-family: helvetica,arial;
    font-size: small;
    color: black;
  }
  font.buttons {
    font-family: helvetica,arial;
    font-size: x-small;
    color: black;
  }
  font.lastupd {
    font-family: helvetica,arial;
    font-size: x-small;
    color: black;
  }
  font.note {
    font-family: helvetica,arial;
    font-weight: bold;
    font-size: small;
    color: red;
  }
  a.toolbar {
    font-family: helvetica,arial;
    text-decoration: none;
    font-size: x-small;
  }
  a.menu {
    font-family: helvetica,arial;
    text-decoration: none;
  }
  div {
    margin-left: 2em;
  }
  div.box {
    border: solid;
    border-width: thin;
    padding: 0.2em;
    width: auto;
  }
  INPUT {
    font-family: helvetica,arial;
    font-size: x-small;
  }
  SELECT {
    font-family: helvetica,arial;
    font-size: small;
  }
  TEXTAREA {
    font-family: helvetica,arial;
    font-size: small;
  }
  table.box
  {
    margin-top: 5px;
    margin-left: 20px;
    margin-right: 10px;
    margin-bottom: 5px;
    padding: 5px 5px 5px 5px;
    border-color: black;
    border-style: solid;
    border-width: 1px 1px 1px 1px;
  }

  p
  {
    font-family: helvetica,arial;
  }

  sep.info
  {
   padding: 0px 3px 0px 3px;
   //background: #ddddd0;
   border-color: #ccccbf;
   border-style: solid;
   border-width: 1px 1px 1px 1px;

  }
-->