add extra text to printed repo name to differentiate e.g toolkit vs. browser

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

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