Help page: click on command name copies to clipboard.

The most common reason I look up the help page from the options page is to check exactly what a command name is, only then to copy it into the *Custom key mappings* box.

This activates the command name, such that clicking on the command name copies it to the clipboard.
`div` here was a bug.  It should have been `span`, so this font CSS was never triggered.  I tried it with `courier new` and it's truly ugly.  So the font is dropped here.