Docs: make "console" snippets look nicer
There may have been a regression here. The "console" code snippets now appear all italized, unless the lines start with $
, e.g. https://petsc.org/release/install/install_tutorial/#qqtw-quickest-quick-start-in-the-west