Update padding for "<pre>" tag in docs