pygments.css link added to default.html; see init.md for an example