modify pretty code font size