improve devtools styles, support some new trunk changes
[themes.git] / EarlyBlue / global / dirListing / local.png
2007-09-02 Robert Kaiserupdate with current trunk work