Web: mark end of CSS unicode escapes

An extra space is included after a CSS unicode escape marking the
end of the hexadecimal digits, before the space which should
be displayed after the left-facing arrows.
Web: escape CSS unicode for up arrow