improve devtools looks somewhat and make them work up to current nightly
[themes.git] / EarlyBlue / inspector / titledsplitter-close.gif
CommitLineData
322edebd 1