es.js: ignore unknown spans when coloring synopsis boxes

This caused spans to be mistakenly taken as .simplecommands, which made help
boxes use the wrong class.