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

  body { font-family: Times New Roman,Times,serif;
    font-size: 12pt;
    font-style: normal;
    }

  h6 { font-family: Times New Roman,Times,serif;
    font-size: 12pt;
    font-style: normal;
    }

  pre { font-family: "Courier New",Courier,monospace;
    font-size: 12pt;
    }

  .mono { font-family: "Courier New",Courier,monospace;
    white-space: pre;
    }

  .comment { color: rgb(204, 0, 204);
    font-family: "Courier New",Courier,monospace;
    white-space: pre;
    font-size: 12pt;
    }

  .output { color: rgb(204, 153, 0);
    font-family: "Courier New",Courier,monospace;
    white-space: pre;
    font-size: 12pt;
    }

  .kodo { font-family: "Courier New",Courier,monospace;
    white-space: pre;
    color: rgb(0, 119, 60);
    font-weight: normal;
    font-variant: normal;
    font-size: 12pt;
    }

  .instr { font-family: "Courier New",Courier,monospace;
    font-weight: bold;
    }

  .spchr { font-family: serif;
    font-size: 12pt;
    }

  .pre { font-family: Courier New,Courier,monospace;
    font-size: medium;
    }

  h1 { font-family: Times New Roman,Times,serif;
    font-size: x-large;
    }

  h2 { font-family: Times New Roman,Times,serif;
    font-size: large;
    }