Add some niceties to font-locking of examples