How can/do I address this issue?

You can change the font-size by editing /usr/share/themes/Arc/gnome-shell/gnome-shell.css
The first block at the top looks like
stage {
font-family: Futura Bk bt, Cantarell, Sans-Serif;
font-size: 9pt;
color: #5c616c; }
You can increase the font-size like so
stage {
font-family: Futura Bk bt, Cantarell, Sans-Serif;
font-size: 12pt;
color: #5c616c; }
After that you have to reload the theme.
Thanks. It was nicely.
Philan James
Software Engineer | Linux Enthusiast
On Sun, Sep 20, 2015 at 12:01 PM, horst3180 [email protected]
wrote:
You can change the font-size by editing
/usr/share/themes/Arc/gnome-shell/gnome-shell.css
The first block at the top looks likestage {
font-family: Futura Bk bt, Cantarell, Sans-Serif;
font-size: 9pt;
color: #5c616c; }You could increase the font-size like so
stage {
font-family: Futura Bk bt, Cantarell, Sans-Serif;
font-size: 12pt;
color: #5c616c; }After that you have to reload the theme.
—
Reply to this email directly or view it on GitHub
https://github.com/horst3180/Arc-theme/issues/206#issuecomment-141801564
.
Most helpful comment
You can change the font-size by editing /usr/share/themes/Arc/gnome-shell/gnome-shell.css
The first block at the top looks like
You can increase the font-size like so
After that you have to reload the theme.