Also add CSS for TeX