Added support for custom embedded CSS stylesheets in HTML output
Added a CSS stylesheet for manual pages
Also distribute config.sh
Fixed "make dist"