Skip to content

Instantly share code, notes, and snippets.

View vbsessa's full-sized avatar

Vicente Bissoli vbsessa

3 followers · 0 following
View GitHub Profile
@vbsessa
vbsessa / gnome-shell.css
Created October 17, 2018 00:02
@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 February 28, 2025 03:42
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 extensions to load custom stylesheets.

  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 January 27, 2025 18:15
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;
     }

}