Skip to content

Instantly share code, notes, and snippets.

@hamrammi

hamrammi/gnome-shell.css

Last active December 6, 2018 12:37
Show Gist options
  • Save hamrammi/7c6a2e5d649f903861faf2fd0fa2c25e to your computer and use it in GitHub Desktop.
Save hamrammi/7c6a2e5d649f903861faf2fd0fa2c25e to your computer and use it in GitHub Desktop.
Download ZIP
Changes Gnome's top bar font
Raw
gnome-shell.css
/**
* Original post: https://www.modmy.com/how-change-font-gnomes-top-bar
*/
@import url("resource:///org/gnome/theme/gnome-shell.css");
stage {
font-family: Roboto Condensed;
font-size: 15px;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment