Skip to content

Instantly share code, notes, and snippets.

@rubencaro

rubencaro/gnome.md

Last active September 10, 2017 15:08
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save rubencaro/e3ee40ce2fa3c34d778315183b1d948c to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save rubencaro/e3ee40ce2fa3c34d778315183b1d948c to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. rubencaro revised this gist Sep 10, 2017. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions gnome.md
    View file
    Original file line number Diff line number Diff line change
    @@ -40,3 +40,4 @@ window.ssd headerbar.titlebar {
    * https://extensions.gnome.org/extension/7/removable-drive-menu/
    * https://extensions.gnome.org/extension/120/system-monitor/
    * https://extensions.gnome.org/extension/15/alternatetab/
    * https://extensions.gnome.org/extension/28/gtile/
  2. rubencaro revised this gist Sep 10, 2017. 1 changed file with 8 additions and 1 deletion.
    9 changes: 8 additions & 1 deletion gnome.md
    View file
    Original file line number Diff line number Diff line change
    @@ -32,4 +32,11 @@ window.ssd headerbar.titlebar {
    box-shadow: inset 0 1px shade(@theme_bg_color, 1.4);
    }

    ```
    ```

    ## Extensions

    * https://extensions.gnome.org/extension/723/pixel-saver/
    * https://extensions.gnome.org/extension/7/removable-drive-menu/
    * https://extensions.gnome.org/extension/120/system-monitor/
    * https://extensions.gnome.org/extension/15/alternatetab/
  3. rubencaro created this gist Sep 10, 2017.
    35 changes: 35 additions & 0 deletions gnome.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,35 @@
    # GNOME Config

    ## Custom CSS

    File at `.config/gtk-3.0/gtk.css`

    ```css

    headerbar entry,
    headerbar spinbutton,
    headerbar button,
    headerbar separator {
    margin-top: 2px; /* same as headerbar side padding for nicer proportions */
    margin-bottom: 2px;
    }

    .default-decoration {
    min-height: 0; /* let the entry and button drive the titlebar size */
    padding: 2px
    }

    .default-decoration .titlebutton {
    min-height: 16px; /* tweak these two props to reduce button size */
    min-width: 16px;
    }

    window.ssd headerbar.titlebar {
    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);
    }

    ```