Как изменить размер шрифта панели инструментов Firefox 3.0.6 ?
Конкретно, названия меню: Файл, Правка и т.д.
Был
здесь
Мой файл userChrome.css вот такой:
Код:
/*
* 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 24pt:
*
* * {
* font-size: 24pt !important
* }
*/
/*
* Make menu items in particular 24 pt instead of the default size:
*
* menupopup > * {
* font-size: 24pt !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
*/
/ * Глобальный UI шрифта * /
* { font-size: 24pt !important; (* Размер шрифта: 24pt! Важно;
font-family: Verdana !important; семейство шрифтов: Verdana! важно;
} )
menubar, menubutton, menulist, menu, menuitem {
font-family: helvetica !important;
/*font-style: italic !important;*/
font-weight: bold !important;
font-size: 15mm !important;
}
/* Изменить размер и тип шрифта в меню */
menubar > menu {
font-size: 24px !important; font-family: Comic Sans MS, sans-serif !important; font-weight: bold !important;
menu{
color:#000 !important;
background:transparent !important;
font-family:verdana !important;
font-weight:normal !important;
font-size:24px !important;
}
/* Global UI font */
* { font-size: 24pt !important
#openintabs-menuseparator, #openintabs-menuitem { display: none !important; }
/ * Шрифт меню * /
menu, menulist, menuitem { Меню menulist, MENUITEM (
font-family: Times New Roman !important; семейство шрифтов: Times New Roman! важно;
font-size: 20pt !important; размер шрифта: 20pt! важно;
} )
