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!

Avatar for Username

Sykje yn Support

Mij stipescams. Wy sille jo nea freegje in telefoannûmer te beljen, der in sms nei ta te stjoeren of persoanlike gegevens te dielen. Meld fertochte aktiviteit mei de opsje ‘Misbrûk melde’.

Mear ynfo

Dizze konversaasje is argivearre. Stel in nije fraach as jo help nedich hawwe.

change omnisidebar font size or spacing

  • 2 antwurd
  • 1 hat dit probleem
  • 29 werjeftes
  • Lêste antwurd fan cor-el

leegb11
leegb11
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

Alle antwurden (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
  • Moderator
  • Top 10 Contributor
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).