These changes are rather dark when using a dark background. I'd like to
have all of the colors in a settings file rather than hard-coded.
On my screen, they are readable on both light and dark screens. We could go
for 96,96,96 and 140,140,140 or something like that if you think they are
too dark. The terminal used to have settings for this but they were disabled
because too much configurability only adds to confusion. I bet mmu_man will
add suport to his theme manager and patch the terminal so the colors can be
changed from there, without exposing them in the UI.
I just wanted to quickly merge those changes from fonzoterm before they get
lost. There's still room for a lot of improvement.
