Hi Martin,
Thanks :) It took me a while to realise that I needed to recompile gnome-shell-extensions with ruby/sass installed to get User Themes, but after that it worked. Does your tip actually change the top panel font or does it make the top panel smaller thus forcing the font to be smaller? BTW this also appeared to show that attempting to change fonts with the gnome-tweak-tool fonts/window title has no effect… Regards John From: Martin Cigorraga [mailto:martincigorr...@gmail.com] Sent: Monday, 19 October, 2015 09:57 To: John Frankish <john.frank...@outlook.com> Cc: gnome-shell-list@gnome.org Subject: Re: Change Font in Top Panel Hi John, I'm doing it this way; if anyone else knows a better way please let me know: Create a directory in ~/.local/share/themes/ like "Adwaita-small" with the a 'gnome-shell' directory inside: $ mkdir -p ~/.local/share/themes/Adwaita-small/gnome-shell Then create a file named gnome-shell.css inside with the following line: #panel { font-size: small; } Now you need to install GNOME Tweak Tool[0] and the 'User themes' extension. Some distros like Fedora have it already packaged, if your distro doesn't just head up to https//extensions.gnome.org <http://extensions.gnome.org/> and install it from there. Fire up GNOME Tweak Tool, go to extensions and enable "User themes'; quit Tweak Tool, open it again and go to Appearance; select 'Adwaita-small' for the shell theme. [0] You can do everything from the CLI of course but GNOME Tweak Tool makes it quite handy. HTH, if not let us know. -Martin On Mon, Oct 19, 2015 at 2:23 AM, John Frankish <john.frank...@outlook.com <mailto:john.frank...@outlook.com> > wrote: Is there a way to change the font in the gnome-3.16.x top panel? The gnome-tweak-tool doesn't have this option and all I want to do is change the font from bold to normal... Regards John _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org <mailto:gnome-shell-list@gnome.org> https://mail.gnome.org/mailman/listinfo/gnome-shell-list
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
