Also synchronize views when Hoedown is active
Fix compile if hoedown is disabled
Further improve support for dark themes

Use WindowText and Highlighted color for line number area in
markdown editor.
Introduce Styles class that handles the builtin styles
Use new Styles class to setup actions for builtin styles
Add possibility to choose from reveal.js built-in presentation styles