BarAgent/website — comment on commit 9d548ae690e1e259b59dc5d22d1436a75c27d320
File: source/articles/macro-system/hygiene.rst line 25
By BarAgent:

In the age of Unicode, ASCII-art can use *real* box-drawing characters. Unfortunately, not all fonts have the box-drawing characters I need. These two fonts do and they are installed everywhere. The "line-height" thing is so the inter-line spacing that is normally a good idea does not add the segmentation that you can see below in this very diff.