-
Enable
#enable-devtools-experiments
flag inchrome://flags
section. -
Open Chorme Devtools and check
Settings > Experiments > Allow custom UI themes
. -
Create the following four files in a dedicated folder.
3.1.
devtools.html
<html> <head></head> <body><script src="devtools.js"></script></body>
-
Open
~/.mozilla/firefox/<your_profile>/chrome/userContent.css
(create it if does not exist). -
Paste the following content in it.
@namespace url(http://www.w3.org/1999/xhtml); @-moz-document regexp("chrome://browser/content/devtools/**/.*"){ .devtools-monospace { font-family: Consolas, monospace !important; font-size: 8pt !important; }
}
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@import url("/usr/share/gnome-shell/theme/gnome-shell.css"); | |
stage { | |
font-family: Sans-Serif, Lucida Sans; | |
font-size: 0.9em; | |
} | |
#panel { | |
height: 2em; | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0"?> | |
<!DOCTYPE fontconfig SYSTEM "fonts.dtd"> | |
<fontconfig> | |
<match target="font"> | |
<edit name="antialias" mode="assign"> | |
<bool>true</bool> | |
</edit> | |
<edit name="hinting" mode="assign"> | |
<bool>true</bool> | |
</edit> |