Topic: Un paio di informazioni su userChrome.css

[RNicoletto]

Essendo il sottoscritto totalmente ignorante in materia, vi chiedo se sia possibile svolgere un paio di attività tramite userChrome.css.

1 - Modifiche al file plugin.css del jar \chrome\toolkit.jar
Ho fatto una cosa brutta ... sono andato ad editare direttamente un componente di Firefox. In particolare non mi piaceva il layout della pagina "about:plugins" e sono andato a ridefinire le proporzioni delle colonne che viene dichiarata proprio in plugin.css.
In pratica nel file originale vengono indicate le seguenti proporzioni:

Codice: [Seleziona]

th.type, th.suff {
  width: 20%;
}

th.desc {
  width: 50%;
}

th.enabled {
  width: 10%;
}Quelle cho ho definito io sono:

Codice: [Seleziona]

th.type, th.suff, th.desc {
  width: 35%;
}

th.enabled {
  width: 10%;
}Ora, visto che preferire apportare tale modifica dall'esterno senza dover andare a toccare i componenti core del browser, è possibile fare la stessa cosa tramite userChrome.css?

2 - Modifiche alla dimensione dei caratteri di un sito
Un sito che visito abitualmente ha una dimensione dei caratteri IMHO troppo piccola. Guardando nel foglio di stile di tale sito trovo:

Codice: [Seleziona]

td {
font-family:Verdana,Arial,Helvetica,sans-serif;
font-size:9pt;Ecco, a me quel Verdana piacerebbe fosse un Tahoma e quel 9pt piacerebbe fosse un 8pt; si può fare tramite userChrome.css?

Grazie a chiunque vorrà rispondermi.

[gialloporpora]

Ciao @RNicoletto,

1) Prova a inserire il tuo codice all'interno delle parentesi graffe:

Codice: [Seleziona]

@-moz-document url-prefix(about:plugins)

codice
}



2) Per gli stili dei siti ti conviene utilizzare il file userContent.css:

Codice: [Seleziona]

@-moz-document url-prefix(http://www.google.it/search),
   url-prefix(http://www.google.com/search)
{
td {
font-family:Tahoma,Arial,Helvetica,sans-serif !important;
font-size:12pt !important;
}
}

Ovviamente cambia Google con l'indirizzo del sito che a te interessa, questo lo ho copiato da uno stile che uso io per Google.


In realtà è possibile che anche il primo codice vada inserito nel file userContent.css, almeno per logica visto che viene applicato ad una pagina HTML (anche se non è online, ma fa parte dei file interni di FF). Io uso Stylish e non fa differenza fra userChrome e userContent, quindi non ti so dire dove vada di preciso.
Ciao

[RNicoletto]

Intanto grazie!

Il punto 2 ha funzionato senza problemi mentre per il punto 1 ho dovuto un attimo smadonnare perché, essendo io capra in tale ambito, ho fatto copia/incolla del tuo codice senza rendermi conto che mancava una parentesi grafa all'inizio. In pratica per la modifica di cui al punto 1 bisogna inserire in userContent.css (quindi niente userChrome.css) il seguente codice:

Codice: [Seleziona]

@-moz-document url-prefix(about:plugins) {
th.type, th.suff, th.desc { width: 35% !important; }
}
Ciao!

[gialloporpora]

Si scusami, le avevo dimenticate. Tri ringrazio per la correzione.
Ciao