improve devtools looks somewhat and make them work up to current nightly

[themes.git] / EarlyBlue / mozapps / viewsource / viewsource.css

/* This is for styling the menus of the viewsource window */