/* start css.sty */
.ecrm-1728{font-size:154%;}
+.ecrm-1200{font-size:109%;}
.futrorn-x-x-109{}
+.ectt-1095{ font-family: monospace;}
+.ectt-1095{ font-family: monospace;}
+.ectt-1095{ font-family: monospace;}
+.ectt-1095{ font-family: monospace;}
+.ectt-1095{ font-family: monospace;}
+.ecti-1095{ font-style: italic;}
+.ecti-1095{ font-style: italic;}
.ecti-1095{ font-style: italic;}
.ecti-1095{ font-style: italic;}
.ecti-1095{ font-style: italic;}