Comment by wonger_
11 hours ago
You're probably seeing an Android bug. The default Android monospace font borks the spacing of box-drawing characters. It's been like that for several years. EDIT the same thing might happen on some niche Linux distros
No I see it on a non-android device too. But it's not as egregious as most vibe-coded ascii diagrams to be fair.
Ah my bad! Didn't scroll down far enough. Shame. Maybe the fi ligature messed up their spacing.