Arc-theme: The font size in gnome-shell pop-up menu is really small

Created on 20 Sep 2015  Â·  2Comments  Â·  Source: horst3180/arc-theme

How can/do I address this issue?
screenshot from 2015-09-20 09-43-21

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

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.

All 2 comments

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 like

stage {
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
.

Was this page helpful?
0 / 5 - 0 ratings

Related issues

DemonCloud picture DemonCloud  Â·  4Comments

Lothakim picture Lothakim  Â·  3Comments

josefnorlin picture josefnorlin  Â·  6Comments

nikophil picture nikophil  Â·  3Comments

keevitaja picture keevitaja  Â·  6Comments