sul pc fisso di windows 10, rispetto allo stesso profilo che ho nel portatile di windows 11, nel riquadro di elenco cartelle, i nomi sono tutti in grassetto, ho provato a disattivare tutte le estensioni e tutto il contenuto dei miei codici personali di my_userchrome.css, ma rimane grassetto, non so se la causa è qualche modifica in about:config? anche diminuendo il valore dimensione del carattere rimane sempre grassetto, come vedete, nel campo di nome, il carattere Firefox è più chiaro rispetto alle cartelle.
ho inserito questa riga ma mi appare troppo chiaro
font-weight: lighter !important;se aggiungo l'opacità, ho notato che non è per il carattere, ma per tutta quell'area del riquadro delle cartelle
/* RIDUZIONE SPAZIO FINESTRA SALVA SEGNALIBRO */
#editBMPanel_folderTree {
max-height: 150px !important;
font-size: 10.4pt !important;
}
/* Hide Giant Thumbnail and Favicon */
#editBookmarkPanelImage,
*|div#editBookmarkPanelFaviconContainer {
display: none !important; }
font-weight: lighter !important;
opacity: 70& !important; }
