Fix the look of double box drawing characters. Make them nicer by avoiding antialiasing.

https://bugzilla.gnome.org/show_bug.cgi?id=709556