Responsive font size in pre tags