body {
    font-family: verdana, arial, helvetica, sans-serif;
    font-size: 10px;
    background: white;
    color: #100C59;
  }

  table {
    font-size: 100%;
  }

  h1, h2, h3 {
    font-size: 1.2em;
    margin: 0.4em 0em 0.4em 0em;
    font-weight: normal;
  }

  h1, h1 input {
    font-weight: bold;
  }

  h3, h3 input {
    font-variant: italic;
  }

  h4, h5, h6 {
    font-size: 1.0em;
    margin: 0.2em 0em 0.2em 0em;
  }

  h4, h4 input {
    font-weight: bold;
  }

  h6, h6 input {
    font-variant: italic;
  }

  h1 input, h2 input, h3 input, h4 input, h5 input, h6 input {
    font-size: 1.0em;
  }

  img {
    border: 0;
  }

  p {
    font-size: 1.0em;
    line-height: 1.8em;
    margin: 0em 0em 1.2em 0em;
    padding-top: 0em;
  }

  ol, ul {
    font-size: 1.0em;
    line-height: 1.8em;
    margin-top: 0.2em;
    margin-bottom: 0.1em;
  }

  li > p {
    margin-top: 0.2em;
  }

  pre {
    font-family: monospace;
    font-size: 1.0em;
  }

  strong, b {
    font-weight: bold;
  }

  td {
    vertical-align: top;
    font-size: 1.0em;
    line-height: 1.8em;
  }

  td p {
    margin: 0px;
  }

  a {
    text-decoration: none;
    color: #100C59;
  }

  a:hover {
    text-decoration: underline;
  }

  ul.languageswitcher {
/*    display: inline; */
    text-align: right;
    list-style-image: none;
    list-style-type: none;
    margin: 0px;
    padding: 0px;
  }

  ul.languageswitcher li {
    display: inline;
    margin: 1em 0px 1em 1em;
    padding: 0px;
  }