搜索 | 用户支持

防范以用户支持为名的诈骗。我们绝对不会要求您拨打电话或发送短信,及提供任何个人信息。请使用“举报滥用”选项报告涉及违规的行为。

详细了解

How to change font-weight value of DOMi's font

  • 1 个回答
  • 1 人有此问题
  • 3 次查看
  • 最后回复者为 cor-el

more options

Font-weight value of DOMi's font for my 17 is too mach. Font-weight value of DOM tree is fine instead. So, can i to decrease font-weight value for DOMi' and Style Editor.

Font-weight value of DOMi's font for my 17'' is too mach. Font-weight value of DOM tree is fine instead. So, can i to decrease font-weight value for DOMi' and Style Editor.

所有回复 (1)

more options

Can you clarify with a screenshot what items you want to change and with what style rules?

  • font-family: monospace;
  • font-size: 11pt !important;
  • font-weight: bold;

For CodeMirror you can use an @import rule in the userChrome.css file to import a file with rules for CodeMirror as it needs a different namespace.

I use this in a codemirror.css file:

@namespace url("http://www.w3.org/1999/xhtml");

/* Developer Tools - CodeMirror */
.devtools-monospace .CodeMirror * {font-size:10pt!important; font-weight:bold}
.devtools-monospace .CodeMirror pre {white-space:pre-wrap!important; word-wrap:break-word!important}

userChrome.css:

@import url("codemirror.css");

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");

<other CSS stuff for userChrome.css>

The customization files userChrome.css (user interface) and userContent.css (websites) are located in the chrome folder in the Firefox profile folder.

  • Create the chrome folder (lowercase) in the <xxxxxxxx>.default profile folder if this folder doesn't exist
  • Use a plain text editor like Notepad to create a (new) userChrome.css file in the chrome folder (file name is case sensitive)
  • Paste the code in the userChrome.css file in the editor window
  • Make sure that the userChrome.css file starts with the default @namespace line
  • Make sure that you select "All files" and not "Text files" when you save the file via "Save file as" in the text editor as userChrome.css.
    Otherwise Windows may add a hidden .txt file extension and you end up with a not working userChrome.css.txt file