How to increase the font size of the top menu bar

[satimis]

Hi all,

Ubuntu 18.04 Gnome desktop

I expect to increase the font size of the top menu bar.

Can I change it on Gnome-tweaks? If YES please advise how.

If NO, please advise how to do it. Thanks

Regards

[Dennis N]

Gnome Tweaks won't do it.
In Ubuntu 18.04, the size of the font in the top bar is set by the gnome-shell theme you are using. Look for the file gnome-shell.css in the theme's gnome-shell folder. My theme is Flat-Remix-Dark:

dmn@Sydney-VM:/usr/share/themes/Flat-Remix-Dark/gnome-shell$ tree -L 1
.
├── assets
└── gnome-shell.css

I made the changes below. One or both affected the font size.

Look for the section labeled "stage" and in there is a font setting. I changed font-size to 12pt.

stage {
  font-family: Cantarell, Sans-Serif;
  font-size: 12pt;
  color: #FFF; }

also look for this section, where I changed font-size to 1em.

#panel {
  font-feature-settings: "tnum";
  text-shadow: 0px 1px 2px rgba(0, 0, 0, 0.9);
  border-radius: 6px;
  font-weight: normal;
  font-size: 1em;
  height: 2em;
  color: #FFF;
  background: rgba(56, 60, 74, 0.3);
  background-gradient-direction: none;
  transition-duration: 200ms; }

I changed these some time ago, and one setting might only be for the font size in the top bar menus. You will have to experiment and find out.

Note: These settings may not work in Ubuntu 20.04, even if they exist.

[tea for one]

Dash to Panel extension from https://extensions.gnome.org/extensi...dash-to-panel/ has two settings for these font sizes.

Dash to Panel settings > Fine-Tune > Tray Font Size
Dash to Panel settings > Fine-Tune > Left Box Font Size

[satimis]

Gnome Tweaks won't do it.
In Ubuntu 18.04, the size of the font in the top bar is set by the gnome-shell theme you are using. Look for the file gnome-shell.css in the theme's gnome-shell folder. My theme is Flat-Remix-Dark:
.....

Hi,

Thanks for your advice. I expect to increase font size.

$ ls /usr/share/themes/

Adwaita       Ambiance  Emacs         Radiance
Adwaita-dark  Default   HighContrast  Raleigh

I suppose my theme is "Adwaita-dark" ?

/usr/share/gnome-shell/theme/gnome-shell.css

/* TOP BAR */
#panel {
  background-color: rgba(0, 0, 0, 0.35);
  /* transition from solid to transparent */
  transition-duration: 500ms;
  font-weight: bold;  
  height: 1.86em; }

change height:1.86em to 3.86em without effect.

stage {
  font-family: Cantarell, Sans-Serif;
  font-size: 11pt;
  color: #eeeeec; }

change font-size to 14pt with no effect

Regards

[satimis]

Dash to Panel extension from https://extensions.gnome.org/extensi...dash-to-panel/ has two settings for these font sizes.

Dash to Panel settings > Fine-Tune > Tray Font Size
Dash to Panel settings > Fine-Tune > Left Box Font Size

Hi,

Thanks for your advice.

Have installed GNOME Shell integration browser extension

On Firefox menu
I could not find

Dash to Panel settings

Please advise. Thanks

Regards

[tea for one]

You won't find Dash to Panel settings in Firefox menu.
Dash to Panel settings are part of the Dash to Panel extension.
Have you successfully installed the extension?

[satimis]

You won't find Dash to Panel settings in Firefox menu.
Dash to Panel settings are part of the Dash to Panel extension.
Have you successfully installed the extension?

Hi,

I have installed the extension but there is a warning

Although GNOME Shell integration extension is running, native host connector is not detected. Refer documentation for instructions about installing connector.

What shall I do here. Thanks

Regards

[tea for one]

Did you install chrome-gnome-shell?

sudo apt install chrome-gnome-shell

[satimis]

Did you install chrome-gnome-shell?

sudo apt install chrome-gnome-shell

Yes

$ which chrome-gnome-shell

/usr/bin/chrome-gnome-shell

Do I need to install gnome-shell-extensions?
$ apt policy gnome-shell-extensions

gnome-shell-extensions:
  Installed: (none)
  Candidate: 3.28.0-2
  Version table:
     3.28.0-2 500
        500 http://hk.archive.ubuntu.com/ubuntu bionic/universe amd64 Packages
        500 http://hk.archive.ubuntu.com/ubuntu bionic/universe i386 Packages

$ gnome-shell --version

GNOME Shell 3.28.4

What will be the next step? Thanks

Regards

[tea for one]

Three ways to find Dash to Panel settings:-

Navigate to https://extensions.gnome.org/ > Installed Extensions.

What do you see?

You can also control all settings including Dash to Panel settings via right click in an empty space on the top bar in Ubuntu 20.04

You can also use gnome-tweaks to access extensions.

sudo apt install gnome-tweaks