web: set the font of the unknown circle's question mark
web/explain: adjust command font-size with respect to its length

Far from perfect but should get the job done for most longish commands, and it
doesn't add a dependency on some jQuery plugin that does a lot of magic.

Maybe we can add a scroll or '...' for longer ones in the future.