tex-ed a bunch of stuff, some other style changes