Also disable dynamic folds for now
Fix HTML output for users with default colorscheme