changed vocabulary navigator object type to TreeMap to get a specific
order into the vocabularies. This is now lexicographic which is not so
much random as a hashed order
bold words in snippets should not be coloured black in the base style
because there are styles with dark backgrounds which make the bold word
invisible