Messaggi: 436
Discussioni: 46
Registrato: 14 Nov 2019
15/02/2022, 12:59
(Questo messaggio è stato modificato l'ultima volta il: 16/02/2022, 23:12 da Andrea.)
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.
Ho imparato a pescare; il mio maestro mi ha insegnato bene.
Ubuntu 22.04 Jammy - Ubuntu Budgie 22.04 Gnome - MX-19
Messaggi: 859
Discussioni: 87
Registrato: 18 Oct 2019
- 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.
Bene per male è carità, male per bene è crudeltà
Messaggi: 738
Discussioni: 24
Registrato: 14 Nov 2019
15/02/2022, 15:59
(Questo messaggio è stato modificato l'ultima volta il: 15/02/2022, 16:03 da stonehenge.)
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.
La vita è come uno specchio:ti sorride se la guardi sorridendo
Un giorno senza rischio è non vissuto..
PCLinuxOS Mate - Forum Manjaro Italia Mate/Kde/Xfce - Windows 10-32bit 21h2
Messaggi: 116
Discussioni: 3
Registrato: 19 Apr 2020
16/02/2022, 08:05
(Questo messaggio è stato modificato l'ultima volta il: 16/02/2022, 08:14 da bobo779256.)
Oppure da aggiungere queste due righe all'userChrome:
Codice:
treechildren{
font-size: 20px !important;
}
per passare da così
a così
Ho esagerato con 20px, da provare altri valori per adattare al tipo di schermo che si ha o al risultato cercato
Messaggi: 436
Discussioni: 46
Registrato: 14 Nov 2019
16/02/2022, 23:11
(Questo messaggio è stato modificato l'ultima volta il: 16/02/2022, 23:15 da Andrea.)
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)
Ho imparato a pescare; il mio maestro mi ha insegnato bene.
Ubuntu 22.04 Jammy - Ubuntu Budgie 22.04 Gnome - MX-19
Messaggi: 116
Discussioni: 3
Registrato: 19 Apr 2020
(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