/* See license.txt for terms of usage */

/************************************************************************************************/
/* Firebug About Dialog Overlay */

#developersBox,
#translatorsBox,
#contributorsBox {
    border: 2px rgb(192, 192, 192) solid;
    padding: 5px;
    margin: 0 5px 5px 0;
}

#extensionTranslators,
#extensionContributors,
#extensionDevelopers,
#extensionCreatorLabel {
    border-top: none !important;
}
