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

  .subtitle { font-weight: bold;
    font-size: 12pt;
    font-family: Arial,Helvetic,sans-serif;
    }

  .title { font-size: 14pt;
    font-weight: bold;
    font-family: Arial,Helvetic,sans-serif;
    }

  .inlinecode { font-family: Courier New,Courier,monospace;
    color: rgb(0, 51, 0);
    background-color: rgb(204, 204, 204);
    font-size: 12pt;
    }

  .reg { font-family: Courier New,Courier,monospace;
    color: rgb(0, 0, 0);
    text-decoration: underline;
    font-size: 12pt;
    }

  .menuitem { color: rgb(255, 255, 255);
    border-left-style: double;
    border-right-style: double;
    font-weight: bold;
    display: table-cell;
    background-color: rgb(204, 204, 204);
    font-size: 12pt;
    font-family: Arial,Helvetic,sans-serif;
    }

  a:link { color: rgb(51, 51, 255);
    text-decoration: none;
    font-size: 12pt;
    font-family: Arial,Helvetic,sans-serif;
    }

  a:visited { text-decoration: none;
    color: rgb(102, 51, 102);
    font-size: 12pt;
    font-family: Arial,Helvetic,sans-serif;
    }

  a:hover { color: rgb(0, 0, 0);
    background-color: rgb(102, 102, 204);
    font-size: 12pt;
    font-family: Arial,Helvetic,sans-serif;
    }

  .formala { font-family: Courier New,Courier,monospace;
    position: relative;
    margin-left: 30%;
    font-size: 12pt;
    }

  .file { font-family: Courier New,Courier,monospace;
    font-weight: bold;
    background-color: rgb(204, 204, 204);
    display: block;
    text-decoration: underline;
    font-size: 12pt;
    }

  .code { font-family: Courier New,Courier,monospace;
    display: block;
    background-color: rgb(0, 0, 0);
    color: rgb(204, 204, 204);
    font-size: 12pt;
    }

  body { font-family: Arial,Helvetic,sans-serif;
    font-size: 12pt;
    }

  .header { font-family: Courier New,Courier,monospace;
    font-weight: bold;
    background-color: rgb(204, 204, 204);
    display: block;
    font-size: 12pt;
    }

  .content_arial { font-family: Arial,Helvetica,sans-serif;
    font-size: 12pt;
    }

  .content_courier { font-family: Courier New,Courier,monospace;
    font-size: 12pt;
    }