slightly less appaling looking splitter
ADDED: Checkbox entries in navbar
Realise toggling of semantic highlighting.