change code font to 13px