Add jeffe.sty.