Topic: Diminuire la dimensione dei caratteri della barra dei menu, navigazione, ecc.

[lux78]

Vorrei diminuire la dimensione dei caratteri della barra dei menu, navigazione, segnalibri, ecc.

Ho provato ad andare in about:config e poi in layout.css.dpi e da -1 impostare 0 o 96, ma non succede nulla nemmeno dopo il riavvio di firefox.
Praticamente la dimensione dei caratteri resta invariata.
Come faccio la modifica?

[luigi54]

salve, la dimensione dei caratteri nella barra di FF è direttamente collegata al settaggio che si ha di impostazione del sis operativo, vedi desktop , proprietà, aspetto,avanzate da quel punto sulla finestra attiva si hanno delle impostazioni  dimensione e caratteri ,agendo sugli stessi si avranno modifiche visibili anche su FF. Non so esattamente che windows tu stia usando vedo una versione 9 ma non so che tipo,se dai qualche info posso essere più preciso !!

[Iceberg]

Prova se ottieni qualcosa di gradevole in questo modo.
Utilizza il file userChrome.css, trovi spiegato cosa è come si usa nei primi messaggi di questa discussione:
http://forum.mozillaitalia.org/index.php?topic=52004.0

Parti da questo codice:

Codice: [Seleziona]

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
* { font-size: 10px !important; }
10px è solo di esempio, dovrai cercare il miglior valore per te.
Così modifichi la dimensione dei caratteri di tutto Firefox (tranne le pagine web). Forse dovrai o vorrai limitare il cambiamento a solo alcuni elementi.
Forse con altri font la cosa verrà meglio, utilizza font-family per cambiare font.
Dovrai fare un po' di prove e non è detto che arriverai ad un risultato senza controindicazioni.

[Geko]

Se ho ben capito quello che cerca,forse anche questa https://addons.mozilla.org/en-US/firefox/addon/theme-font-size-changer potrebbe fare al caso,in alternativa all'userChrome (che però è più interessante perchè si agisce più direttamente).