whitespace
work in progress on new highlighting to HTML export