Important Notice: We're experiencing email notification issues. If you've posted a question in the community forums recently, please check your profile manually for responses while we're working to fix this.

Avatar for Username

Cerca nel supporto

Attenzione alle mail truffa. Mozilla non chiederà mai di chiamare o mandare messaggi a un numero di telefono o di inviare dati personali. Segnalare qualsiasi attività sospetta utilizzando l'opzione “Segnala abuso”.

Ulteriori informazioni

Questa discussione è archiviata. Inserire una nuova richiesta se occorre aiuto.

change omnisidebar font size or spacing

  • 2 risposte
  • 1 ha questo problema
  • 29 visualizzazioni
  • Ultima risposta di cor-el

Lee Button
Lee Button
more options

Hi all Am using omnisidebar which is great but cannot fit much in! Can I reduce font size or better still reduce the vertical spacing? Don't want to reduce fonts on whole browser. Was using PM which is more compacted.

Thanks

Hi all Am using omnisidebar which is great but cannot fit much in! Can I reduce font size or better still reduce the vertical spacing? Don't want to reduce fonts on whole browser. Was using PM which is more compacted. Thanks

Tutte le risposte (2)

guigs
guigs
more options

I would ask the addon developer. Or in the addons forum

There is a way to customize it using css, but I do not know enough how to edit the add on without you going into the addon folder where it is installed in your profile and adding this style.

MDN might have some articles on how to developer this.

cor-el
cor-el
  • Top 25 Contributor
  • Moderator
more options

You can look at this extension to adjust the font size in the user interface.

You can set a global Zoom that affects both the user interface and web pages (this modifies the layout.css.devPixelsPerPx pref). You can do this via the Options/Preferences of the Theme Font & Size Changer extension (about:addons or the Tools menu).