The highlighters below have their brushes loaded dynamically as evident by looking at the <head /> of this HTML file.
<head />