Which terminal are you using that supports variable length fonts this well?