Improvments to online tex.