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

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

Hybrid View

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

    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,854

    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
    Apr 2006
    Beans
    2,800

    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

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

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

    /usr/share/gnome-shell/theme/gnome-shell.css
    You are in the wrong folder for making the changes. Look inside the theme folder, which for you would be:

    /usr/share/themes/Adwaita-dark

    But, when you do, you find Adwaita-dark doesn't have a gnome-shell theme folder!
    Code:
    dmn@Sydney:/usr/share/themes/Adwaita-dark$ ls
    gtk-2.0  gtk-3.0  index.theme
    Therefore, you need to find a theme that includes a gnome-shell theme folder and set it as your Shell theme in Tweaks. Like this one (Obsidian):
    Code:
    dmn@Sydney:/usr/share/themes/Obsidian$ ls
    assets    gnome-shell  gtk-3.0   index.theme  openbox-3
    cinnamon  gtk-2.0      gtk-3.20  metacity-1
    After doing that, open the gnome-shell folder:
    Code:
    dmn@Sydney:/usr/share/themes/Obsidian/gnome-shell$ ls
    assets  gnome-shell.css  gnome-shell-theme.gresource.xml
    Edit file gnome-shell.css to make the changes. Remember, you also have to set the gnome-shell theme in Tweaks: Themes > Shell

    If you like, you can keep Adwaita-dark as the application theme and use another theme to supply the Shell theme in Tweaks.
    Last edited by Dennis N; September 29th, 2020 at 03:44 PM.

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

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

    Quote Originally Posted by Dennis N View Post
    You are in the wrong folder for making the changes. Look inside the theme folder, which for you would be:

    /usr/share/themes/Adwaita-dark

    But, when you do, you find Adwaita-dark doesn't have a gnome-shell theme folder!
    Code:
    dmn@Sydney:/usr/share/themes/Adwaita-dark$ ls
    gtk-2.0  gtk-3.0  index.theme
    Therefore, you need to find a theme that includes a gnome-shell theme folder and set it as your Shell theme in Tweaks. Like this one (Obsidian):
    Code:
    dmn@Sydney:/usr/share/themes/Obsidian$ ls
    assets    gnome-shell  gtk-3.0   index.theme  openbox-3
    cinnamon  gtk-2.0      gtk-3.20  metacity-1
    After doing that, open the gnome-shell folder:
    Code:
    dmn@Sydney:/usr/share/themes/Obsidian/gnome-shell$ ls
    assets  gnome-shell.css  gnome-shell-theme.gresource.xml
    Edit file gnome-shell.css to make the changes. Remember, you also have to set the gnome-shell theme in Tweaks: Themes > Shell

    If you like, you can keep Adwaita-dark as the application theme and use another theme to supply the Shell theme in Tweaks.
    Hi Dennis

    $ ls /usr/share/themes/
    Code:
    Adwaita       Ambiance  Emacs         Radiance
    Adwaita-dark  Default   HighContrast  Raleigh
    All themes are here.

    $ ls /usr/share/themes/Adwaita/
    Code:
    gtk-2.0  gtk-3.0  index.theme
    $ ls /usr/share/themes/Adwaita-dark/
    Code:
    gtk-2.0  gtk-3.0  index.theme
    $ ls /usr/share/themes/Ambiance/
    Code:
    gtk-2.0  gtk-3.0  gtk-3.20  index.theme  metacity-1  unity
    $ls /usr/share/themes/Default/
    Code:
    gtk-2.0-key  gtk-3.0
    Is this the default theme?

    $ ls /usr/share/themes/Emacs/
    Code:
    gtk-2.0-key  gtk-3.0
    $ ls /usr/share/themes/HighContrast/
    Code:
    gtk-2.0  gtk-3.0  index.theme
    $ ls /usr/share/themes/Radiance/
    Code:
    gtk-2.0  gtk-3.0  gtk-3.20  index.theme  metacity-1 unity
    $ ls /usr/share/themes/Raleigh/
    Code:
    gtk-2.0
    I couldn't find gnome-shell theme folder in any of them.

    Regards

  6. #6
    Join Date
    May 2008
    Beans
    1,157
    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

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

    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.

  8. #8
    Join Date
    May 2008
    Beans
    1,157
    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?

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

    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

  10. #10
    Join Date
    May 2008
    Beans
    1,157
    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

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
  •