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

[themes.git] / EarlyBlue / global / commonDialog.css

#filler {
  -moz-margin-start: -8px;
  -moz-margin-end: -10px;
}