Page 1 of 4 123 ... LastLast
Results 1 to 10 of 36

Thread: How to increase the font size of the top menu bar

  1. #1
    Join Date
    Apr 2006
    Beans
    2,768

    How to increase the font size of the top menu bar

    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

  2. #2
    Join Date
    Jun 2007
    Location
    Arizona U.S.A.
    Beans
    4,800

    Re: How to increase the font size of the top menu bar

    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:

    Code:
    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.

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

    also look for this section, where I changed font-size to 1em.
    Code:
    #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.

  3. #3
    Join Date
    May 2008
    Beans
    1,030
    Distro
    Ubuntu 20.04 Focal Fossa

    Re: How to increase the font size of the top menu bar

    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

  4. #4
    Join Date
    Apr 2006
    Beans
    2,768

    Re: How to increase the font size of the top menu bar

    Quote Originally Posted by Dennis N View Post
    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/
    Code:
    Adwaita       Ambiance  Emacs         Radiance
    Adwaita-dark  Default   HighContrast  Raleigh
    I suppose my theme is "Adwaita-dark" ?

    /usr/share/gnome-shell/theme/gnome-shell.css
    Code:
    /* 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.

    Code:
    stage {
      font-family: Cantarell, Sans-Serif;
      font-size: 11pt;
      color: #eeeeec; }
    change font-size to 14pt with no effect

    Regards

  5. #5
    Join Date
    Apr 2006
    Beans
    2,768

    Re: How to increase the font size of the top menu bar

    Quote Originally Posted by tea for one View Post
    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
    Code:
    Dash to Panel settings
    Please advise. Thanks

    Regards
    Last edited by satimis; September 29th, 2020 at 06:16 AM.

  6. #6
    Join Date
    May 2008
    Beans
    1,030
    Distro
    Ubuntu 20.04 Focal Fossa

    Re: How to increase the font size of the top menu bar

    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?

  7. #7
    Join Date
    Apr 2006
    Beans
    2,768

    Re: How to increase the font size of the top menu bar

    Quote Originally Posted by tea for one View Post
    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
    Code:
    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

  8. #8
    Join Date
    May 2008
    Beans
    1,030
    Distro
    Ubuntu 20.04 Focal Fossa

    Re: How to increase the font size of the top menu bar

    Did you install chrome-gnome-shell?

    Code:
    sudo apt install chrome-gnome-shell

  9. #9
    Join Date
    Apr 2006
    Beans
    2,768

    Re: How to increase the font size of the top menu bar

    Quote Originally Posted by tea for one View Post
    Did you install chrome-gnome-shell?

    Code:
    sudo apt install chrome-gnome-shell
    Yes

    $ which chrome-gnome-shell
    Code:
    /usr/bin/chrome-gnome-shell
    Do I need to install gnome-shell-extensions?
    $ apt policy gnome-shell-extensions
    Code:
    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
    Code:
    GNOME Shell 3.28.4
    What will be the next step? Thanks

    Regards

  10. #10
    Join Date
    May 2008
    Beans
    1,030
    Distro
    Ubuntu 20.04 Focal Fossa

    Re: How to increase the font size of the top menu bar

    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.

    Code:
    sudo apt install gnome-tweaks

Page 1 of 4 123 ... LastLast

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •