Added documentation styles in separate css, configurable
fixes #195
Fixed docs.css and added prettify optional mode
Fixes #196 and #195