improve style by editing mydefs.sty