Make some code render as such in the documentation.