Forum Informatica Libera

Versione completa: [Risolto] - Firefox 95.02 - Caratteri segnalibri troppo piccoli
Al momento stai visualizzando i contenuti in una versione ridotta. Visualizza la versione completa e formattata.
Salve
Mi ritrovo con un problemino che vorrei risolvere col vs. aiuto.
https://postimg.cc/xJGGvzbh
Come vedete i caratteri dei link elencati nei segnalibri sono minuscoli e non so come aumentarli (l'immagine è già ingrandita).
Sulle impostazioni di firefox riesco solo a cambiare i caratteri della pagina web visualizzata.
  • Digita about:config nella barra degli indirizzi seguito da Invio
  • Conferma di voler procedere
  • Nella casella di ricerca scrivi layout.css.devPixelsPerPx
  • Fai doppio click sulla stringa trovata e sostituisci il suo valore di default (-1.0) con un valore positivo maggiore di 1. Inizia ad esempio con 1.1 e vedi come va. In caso aumenti ad 1.2 e via di questo passo.
Ciao
Firefox è alla versione 97.0 su windows 10.
I caratteri dei menù che tu dici a me non senbrano piccoli e comunque tutto dovrebbe dipendere dalla grandezza dei caratteri di sistema.
Ok blackstar, come non detto, adesso provo anch'io.
Oppure da aggiungere queste due righe all'userChrome:

Codice:
treechildren{
font-size: 20px !important;
}

per passare da così

[Immagine: FF-bookmark-origin.png]

a così

[Immagine: FF-bookmark-20px.png]

Ho esagerato con 20px, da provare altri valori per adattare al tipo di schermo che si ha o al risultato cercato
Ok.Seguite le indicazioni di Blackstar e impostato il valore ad 1.1 - ha funzionato alla grande.
Grazie
@bobo:
digitando userChrome mi compare:
https://i.postimg.cc/qRHnmpy1/user-Chrome.png
come dovrei proseguire? (giusto per una ulteriore conoscenza)
(16/02/2022, 23:11)Andrea Ha scritto: [ -> ]@bobo:
digitando userChrome mi compare:
https://i.postimg.cc/qRHnmpy1/user-Chrome.png
come dovrei proseguire? (giusto per una ulteriore conoscenza)
Ho dato per scontato che conoscessi il file userChrome.css, scusami...

L'userChrome.css è un file di configurazione in cui inserire comandi, come quello che ho postato, per personalizzare la grafica di Firefox, deve essere creato a mano nella cartella 'chrome' (se non esiste va creata a mano) dentro la cartella profilo di Firefox, e con le ultime versioni va attivata la sua funzionalità abilitando una voce dentro ad about:config, vedi questa pagina per sapere dove\come

Ci sono un bel po' di personalizzazioni che possono essere messe in questo file, basta cercare in rete, copiare i comandi dentro l'userchrome, riavviare FF, e vedere l'effetto che fa