fix bookmark icons to not be extended to 16px if not necessary and bookmark menus...
[themes.git] / EarlyBlue / editor / icons / highlight-disabled.gif
EarlyBlue/editor/icons/highlight-disabled.gif