@import url(https://fonts.googleapis.com/css?family=Open+Sans&subset=latin,latin-ext);

      body {
        margin: 1em 3em 1em 3em;
        background-color: #C8E6FF;
        color: #000000;
        font-family: 'Open Sans', sans-serif;
      }

      a:link    {color: #0000FF}
      a:visited {color: #0000FF}
      a:active  {color: #0000FF}
      a:hover   {color: #4040FF}

      p.LangSelect {
        text-align: right;
        font-size: 0.9em;
        margin-top: 0;
        margin-bottom: 0;
      }

      p.MainTitle {
        text-align: center;
        font-size: 1.3em;
        margin: 1.5em auto 0 auto;
      }

      p.SubTitle {
        text-align: center;
        font-size: 1.3em;
        margin: 0 auto 2.5em auto;
        font-weight: bold;
      }

      p.Description {
        text-align: justify;
      }

      p.filelisting-top {
        text-align: justify;
        font-size: 0.95em;
        margin: 0 0 0 0;
      }

      p.filelisting {
        text-align: justify;
        font-size: 0.8em;
        margin: 0 0 0 0;
        border: 1px solid gray;
        padding: 0.2em;
      }

      p.Download {
        text-align: left;
        font-size: 1.1em;
        margin: 1.5em 0 0 0.9em;
      }

      p.downloadolder {
        text-align: right;
        font-size: 0.9em;
        margin: 0 auto 0.1em auto;
      }

      p.copyrstyle {
        text-align: right;
        margin: 0 0 0 0;
        font-size: 0.8em;
        font-weight: bold;
      }

      hr.horizrule {
        margin: 0 0 0 0;
      }