/*
 *  Éditez ce fichier et renommez-le userChrome.css
 *  dans le répertoire Chrome de votre profil
 */

/*
 *  Ce fichier peut être utilisé pour personnaliser l'apparence de l'interface de Mozilla
 *  Ajouter "! important" aux règles de style permet d'ignorer
 *  les règles de style par défaut de Mozilla.
 */

/*
 *  N'enlevez pas la ligne @namespace ci-dessous -- Elle est requise pour un fonctionnement correct du fichier
 */
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* Définir XUL comme espace de nom par défaut*/


/*
 *  Quelques améliorations possibles :
 */
/*
 *  Définir la taille par défaut de la police de caractères à 20 pt :
 *
 * * {
 *   font-size: 20pt !important
 * }
 */
/*
 *  Définir une taille de police à 15 pt pour les menus :
 *
 * menupopup > * {
 *   font-size: 15pt !important
 * }
 */
/*
 *  Définir une police à largeur fixe pour la barre d'adresse :
 *
 * #urlbar {
 *    font-family: monospace !important;
 * }
 */

/*
 *  Éliminer le logo animé (throbber) de toutes les fenêtres :
 *
 * #throbber-box {
 *   display: none !important;
 * }
 */

/*
 *  Pour d'autres exemples, voir http://www.mozilla.org/unix/customizing.html
 */
 
