improve positioning and coloring in page info and properties window
[themes.git] / EarlyBlue / mozapps / viewsource /
2008-04-28 Robert Kaiserupdate for trunk changes between 2008-02-07 and today