Adjusting font-size of pre to be ~15px at 18px body