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

  pre { border: 1px dashed rgb(153, 153, 153);
    padding: 8px;
    background-color: rgb(241, 241, 241);
    font-family: Courier New,Courier,monospace;
    font-size: smaller;
    }

  .codeword { color: rgb(51, 51, 255);
    }

  dt { font-weight: bold;
    }

  em { font-weight: bold;
    color: rgb(102, 102, 102);
    font-style: normal;
    }

  body { font-family: Times New Roman,Times,serif;
    }