Skip to content

Instantly share code, notes, and snippets.

Vicente Bissoli vbsessa

Block or report user

Report or block vbsessa

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View gnome-shell.css
@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 / local.conf
Last active Jan 13, 2017
How to beautify linux fonts
View local.conf
<?xml version="1.0"?>
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
<match target="font">
<edit name="antialias" mode="assign">
<edit name="hinting" mode="assign">
vbsessa /
Last active Feb 14, 2020
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

    <body><script src="devtools.js"></script></body>
vbsessa /
Last active Feb 23, 2020
How to customize Firefox devtools fonts
  1. Open ~/.mozilla/firefox/<your_profile>/chrome/userChrome.css (create it if does not exist).

  2. Paste the following content in it.

     @namespace url(;
     @-moz-document regexp("chrome://browser/content/devtools/**/.*"){
         .devtools-monospace {
             font-family: Consolas, monospace !important;
             font-size: 8pt !important;
You can’t perform that action at this time.