|
|
看来不止我一个人,而是许多人想修改 Firefox 和 Mozilla 的菜单和对话框的字体。方法是这样的:
- 打开 ~/.mozilla/default/config_directory/chrome 或 ~/.mozilla/firefox/config_directory/chrome,这里 config_directory 是你的 Mozilla 或 Firefox 正在使用的配置文件的目录。
- 你会看到像 userChrome-example.css 这样的文件。执行 cp userChrome-example.css userChrome.css 建立一个实际的配置文件。
- 在这个文件中,会有下面这样的行:
- /*
- * Make all the default font sizes 20 pt:
- *
- * * {
- * font-size: 20pt !important
- * }
- */
复制代码
只要修改它,你就可以改变 Mozilla 或 Firefox 菜单和对话框的字体了。举例来说,我是这样修改的:
- /*
- * Make all the default font sizes 20 pt:
- */
- * {
- font-size: 20pt !important;
- font-family: SimSun !important
- }
-
复制代码 |
|