Join us and the lead editor of IRL, Mozilla's multi-award-winning podcast, for a behind-the-scenes look at the pod and to contribute your ideas for the next season, themed: "AI and ME." Mark your calendar and join our Community Call on Wednesday, Aug 7, 17:00–17:45 UTC. See you there!

Pesquisar no site de suporte

Evite golpes de suporte. Nunca pedimos que você ligue ou envie uma mensagem de texto para um número de telefone, ou compartilhe informações pessoais. Denuncie atividades suspeitas usando a opção “Denunciar abuso”.

Saiba mais

Esta discussão foi arquivada. Faça uma nova pergunta se precisa de ajuda.

How to do I increase the font size inside the drop down menus?

  • 5 respostas
  • 5 têm este problema
  • 1 visualização
  • Última resposta de Scrumble

more options

I am trying to enlarge the default font size of the drop down menus that appear when you use the items in the menu bar. For example, I want to increase the font size used in the list that appears under "bookmarks." I do not trying to do anything other than this. Theme and Font size changer does not do this.

I am trying to enlarge the default font size of the drop down menus that appear when you use the items in the menu bar. For example, I want to increase the font size used in the list that appears under "bookmarks." I do not trying to do anything other than this. Theme and Font size changer does not do this.

Alterado por Scrumble em

Solução escolhida

I found the following, which solved the problem effortlessly. Thanks for the advice though.


Avatar Richard Lloyd • 4 months ago

If you just want to broadly change the default font size in 12.04, surely System Settings -> System -> Universal Access -> Seeing -> Display -> Text Size is what you use? Note that System Settings -> Preferences -> Appearances doesn't have a Font tab in 12.04, unlike the claim by an earlier poster.

Ler esta resposta 👍 0

Todas as respostas (5)

more options

Very likely this can be done with a custom style rule. Custom style rules can be applied to the interface using either:

  • userChrome.css file (you would create or edit this file)
  • Stylish extension (handy because you can easily test and tweak)

But... you need the actual rule. You could search for an existing "user style" on userstyles.org in case someone already has posted one. Or maybe a volunteer here will find time to develop one in the next day or so.

more options

Can you clarify with a screenshot which for items you want to change the font size?

I use this code on Linux for some font sizes:

/* font-size: sidebar */
#commonDialog *, #sidebar-box *, #bookmarksPanel *, #history-panel *{ font-size:11pt!important; }

/* font-size: Bookmarks */
#bookmarksBarContent menuitem.bookmark-item,
#bookmarksMenuPopup menu,
#bookmarksMenuPopup menuitem { font-size:11pt!important; }

/* font-size: search bar,autohide */
#search-container .textbox-input-box {font-size:0px!important}
#search-container .searchbar-textbox:hover .textbox-input-box,
#search-container .searchbar-textbox[focused="true"] .textbox-input-box { font-size:12pt!important; font-family:"DejaVu Sans Mono"; }

/* font-size: navigator toolbox */
#navigator-toolbox menupopup menu, #navigator-toolbox menupopup menuitem { font-size:12px!important; }
more options

I've tried to post a screenshot showing the drop down menu I am referring to. It would seem your code lines for font-size Bookmarks may work--I'll try it.

more options

If you use the Unity desktop then you may not be able to change the appearance (font size) in the menu drop down and you would have to use the Bookmarks Menu button on a toolbar instead.

more options

Solução escolhida

I found the following, which solved the problem effortlessly. Thanks for the advice though.


Avatar Richard Lloyd • 4 months ago

If you just want to broadly change the default font size in 12.04, surely System Settings -> System -> Universal Access -> Seeing -> Display -> Text Size is what you use? Note that System Settings -> Preferences -> Appearances doesn't have a Font tab in 12.04, unlike the claim by an earlier poster.