Add plugins.js from html5 boilerplate.
SyntaxHighlighter: a few CSS fixes.