12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273 |
- /*
- * Edit this file and copy it as userChrome.css into your
- * profile-directory/chrome/
- */
- /*
- * This file can be used to customize the look of Mozilla's user interface
- * You should consider using !important on rules which you want to
- * override default settings.
- */
- /*
- * Do not remove the @namespace line -- it's required for correct functioning
- */
- @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* set default namespace to XUL */
- /*
- * Some possible accessibility enhancements:
- */
- /*
- * Make all the default font sizes 20 pt:
- *
- * * {
- * font-size: 20pt !important
- * }
- */
- /*BK ha ha, changed 'pt' to 'px' (pixels) fixed it...*/
- * {
- font-size: 12px !important;
- font-family: DejaVu Sans !important;
- }
- /* font-family: nimbus !important;*/
- /*
- * Make menu items in particular 15 pt instead of the default size:
- *
- * menupopup > * {
- * font-size: 15pt !important
- * }
- */
- /*BK experimenting...
- menupopup > * {
- font-size: 12pt !important
- }
- menu > * {
- font-size: 12pt !important
- }
- */
- /*
- * Give the Location (URL) Bar a fixed-width font
- *
- * #urlbar {
- * font-family: monospace !important;
- * }
- */
- /*
- * Eliminate the throbber and its annoying movement:
- *
- * #throbber-box {
- * display: none !important;
- * }
- */
- /*
- * For more examples see http://www.mozilla.org/unix/customizing.html
- */
-
|