improve naming of column icons, introduce not-quite-neutral icon for unknown junk...
[themes.git] / EarlyBlue / editor / icons / bold.gif
EarlyBlue/editor/icons/bold.gif