work around SeaMonkey bug 1022354 by specifying yet another copy of the default favicon
[themes.git] / EarlyBlue / editor / icons / highlight-disabled.gif
EarlyBlue/editor/icons/highlight-disabled.gif