Bug: DevTools search filtering removes a space

[gaearon]

Compare two screenshots closely. The space after "from" disappears when the next word is selected.

[bvaughn]

Oops. Yeah this looks like a CSS bug.

Each row in the tree is display: inline-flex. This means that <mark>{text}</mark> <span>{text}</span> gets smushed together in a way we don't want. Need to think about this for a minute.