windows fixes
smaller latex font