Skip to content

Instantly share code, notes, and snippets.

View vbsessa's full-sized avatar

Vicente Bissoli vbsessa

  • Vitória, Brasil
View GitHub Profile
@import url("/usr/share/gnome-shell/theme/gnome-shell.css");
stage {
font-family: Sans-Serif, Lucida Sans;
font-size: 0.9em;
}
#panel {
height: 2em;
}
@vbsessa
vbsessa / local.conf
Last active January 13, 2017 12:09
How to beautify linux fonts
<?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>
@vbsessa
vbsessa / chrome-devtools.md
Last active March 27, 2024 02:47
How to customize Chrome devtools fonts
  1. Enable #enable-devtools-experiments flag in chrome://flags section.

  2. Open Chorme Devtools and check Settings > Experiments > Allow custom UI themes.

  3. Create the following four files in a dedicated folder.

    3.1. devtools.html

    <html>
    <head></head>
    <body><script src="devtools.js"></script></body>
@vbsessa
vbsessa / firefox-devtools.md
Last active December 10, 2023 09:10
How to customize Firefox devtools fonts
  1. Open ~/.mozilla/firefox/<your_profile>/chrome/userContent.css (create it if does not exist).

  2. 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;
         }
    

}