Made TeX export use tikzstyle.