Use short class names for syntax highlighting

Pygments generated css styles use short class names, but docutils markups the source using long class names. Thus, code is not actually formatted when using the default settings.

This patch tells docutils to generate the markup using short class names, so pygments css styles properly highlight the resulting (marked up) code.