LinuxQuestions.org

LinuxQuestions.org (/questions/)
-   Ubuntu (https://www.linuxquestions.org/questions/ubuntu-63/)
-   -   Firefox - how to change the font size on toolbar (https://www.linuxquestions.org/questions/ubuntu-63/firefox-how-to-change-the-font-size-on-toolbar-590544/)

satimis 10-09-2007 10:33 AM

Firefox - how to change the font size on toolbar
 
Hi folks,


Ubuntu 7.04 server amd64
Fluxbox desktop
Firefox

Where can I change the font size of Firefox top toolbar?

Edit -> Preference does not help
View -> Toolbar -> Customize also does not help.


Please advice. TIA


satimis

bryantrv 10-09-2007 10:53 AM

I think that's a function of the skin you are using, but I believe it can be overridden through ~/.mozilla/firefox/*default/chrome

satimis 10-09-2007 05:59 PM

Quote:

Originally Posted by bryantrv (Post 2918503)
I think that's a function of the skin you are using, but I believe it can be overridden through ~/.mozilla/firefox/*default/chrome

Thanks for your advice.

$ ls /home/satimis/.mozilla/firefox/ytp9xkeg.default/chrome/
Code:

userChrome-example.css  userContent-example.css
$ cat /home/satimis/.mozilla/firefox/ytp9xkeg.default/chrome/userChrome-example.css
Code:

/*
 * 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
 * }
 */
/*
 * Make menu items in particular 15 pt instead of the default size:
 *
 * menupopup > * {
 *  font-size: 15pt !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
 */

$ cat /home/satimis/.mozilla/firefox/ytp9xkeg.default/chrome/userContent-example.css
Code:

/*
 * Edit this file and copy it as userContent.css into your
 * profile-directory/chrome/
 */

/*
 * This file can be used to apply a style to all web pages you view
 * Rules without !important are overruled by author rules if the
 * author sets any.  Rules with !important overrule author rules.
 */

/*
 * example: turn off "blink" element blinking
 *
 * blink { text-decoration: none ! important; }
 *
 */

/*
 * example: give all tables a 2px border
 *
 * table { border: 2px solid; }
 */

/*
 * example: turn off "marquee" element
 *
 * marquee { -moz-binding: none; }
 *
 */
 
/*
 * For more examples see http://www.mozilla.org/unix/customizing.html
 */

Which of them shall I use. Whether copy and rename either of them as "userChrome/userContent"? OR just "Chrome/Content"?

TIA


satimis


All times are GMT -5. The time now is 05:45 AM.