gnome 3 – default theme – header way too big [solved]

To reduce window header:

  1. create a file under
    vi ~/.config/gtk-3.0/gtk.css
  2. enter following css content (customize padding values and font sizes as required):
    .header-bar {
    padding-top: 1px;
    padding-bottom: 1px;
    font-size: 7px;
    }
    
    .header-bar .button {
    padding-top: 1px;
    padding-bottom: 1px;
    }
    
    .header-bar.default-decoration {
    padding-top: 1px;
    padding-bottom: 1px;
    border: none;
    background-image: linear-gradient(to bottom,
    shade(@theme_bg_color, 1.05),
    shade(@theme_bg_color, 0.99));
    box-shadow: inset 0 1px shade(@theme_bg_color, 1.4);
    }
    
    .header-bar.default-decoration .button.titlebutton {
    padding-top: 1px;
    padding-bottom: 1px;
    }
  3. Witness the impact live by restarting gnome shell:
    alt+f2 then run “r”

And voilà!

To go further:

  • run “gnome-tweak-tool”
  • under section “fonts”, reduce various font sizes and play with “scaling factor”

source

Post a Comment

Your email is never published nor shared. You're allow to say what you want...