[julioc]

You could use unicode for the controls. I modified the local code to use "‖" (and, due to a bug I guess, the chrome address bar became monospaced). If you need, check some reference on http://copypastecharacter.com/all-characters and http://graphemica.com/

[jaip]

I settled with the standard character sets as I wasn't sure if the fancy unicode character would be available cross platform or not. I'll look for this possibility again. Thanks.