New version of stylesheets now with pygments styles. Favicon now uses FAVICON configuration parameter to set path.