Use Unicode box-drawing characters

[evdubs]

See https://en.wikipedia.org/wiki/Box-drawing_character for the tables that show these characters. This is not really a big deal, but if you think this is nice to have, then I'd like to merge it.