/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */

  body { margin: 2em 3em 2em 1.5em;
    font-family: verdana,arial,helvetica,sans-serif;
    text-align: left;
    }

  #headline { font-family: Courier New,Courier,monospace;
    font-weight: bold;
    border-bottom-style: solid;
    text-align: right;
    border-bottom-width: 1px;
    margin-bottom: 0.5em;
    font-size: 80%;
    margin-left: 0em;
    }

  #footer { text-align: right;
    border-top-style: solid;
    border-top-width: 1px;
    font-family: Courier New,Courier,monospace;
    font-size: 80%;
    clear: both;
    }

  #menu { font-family: Courier New,Courier,monospace;
    position: absolute;
    width: 11.5em;
    font-size: 80%;
    }

  #content { margin-left: 12em;
    }

  .image { margin-bottom: 1em;
    margin-left: 1em;
    float: right;
    position: relative;
    width: 60%;
    }

  .section { font-weight: bolder;
    margin-bottom: 1em;
    }

  a { text-decoration: none;
    color: rgb(102, 102, 102);
    }

  .menulist { list-style-type: none;
    padding-left: 0px;
    }

  h2 { font-weight: lighter;
    margin-top: 0px;
    padding-top: 0px;
    }

  h3 { font-style: normal;
    font-weight: lighter;
    }

  .subsection { margin-left: 1em;
    }

  .image_small { margin-top: 1em;
    margin-bottom: 1em;
    float: none;
    width: 25%;
    margin-right: 1.5em;
    }

  code { font-size: small;
    }

  dt { font-style: italic;
    }