Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- /* Copy to ".local/share/themes/small-shell/gnome-shell/gnome-shell.css" */
- @import url("/usr/share/gnome-shell/theme/gnome-shell.css");
- stage {
- font-size: 10pt;
- }
- #panel {
- font-size: 10pt;
- height: 20px;
- }
Add Comment
Please, Sign In to add comment