css: tweaked pre boxes and syntax highlighting