pygments: don't highlight Names; highlight Preproc
css: fix margins around headings