Notizie: se possiedi un dispositivo Android, prova Firefox per Android, un browser scattante e dinamico per navigare in ambiente mobile.

Autore Topic: [userChrome] Cambiare font nome schede?  (Letto 611 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline patrick25

  • Post: 922
[userChrome] Cambiare font nome schede?
« il: 05 Aprile 2013 09:11:00 »
Ciao a tutti,

vorrei sapere se è possibile cambiare il font con cui FF mostra i nomi delle varie schede aperte.

Mille grazie a chi mi aiuterà.

« Ultima modifica: 05 Aprile 2013 21:40:38 da gialloporpora »

Offline klades

  • Moderatore
  • Post: 5788
    • http://www.nic-nac-project.org/~kaosmos
Re: Cambiare font nome schede?
« Risposta #1 il: 05 Aprile 2013 10:02:20 »
Puoi farlo mettendo nel file userChrome.css (se non sai come si fa, cerca nella faq), queste righe:

Codice: [Seleziona]
tab[class="tabbrowser-tab"] {
font-family: Verdana !important;
}

Ovviamente cambia Verdana con il font che vuoi tu.

Offline patrick25

  • Post: 922
Re: Cambiare font nome schede?
« Risposta #2 il: 05 Aprile 2013 10:53:02 »
Grazie mille Klades per la risposta velocissima, problema risolto!

 :D

Offline Iceberg

  • Moderatore
  • Post: 9093
Re: Cambiare font nome schede?
« Risposta #3 il: 05 Aprile 2013 15:13:35 »
Qui trovi diversi codici per modifcare l'aspetto delle schede:

http://forum.mozillaitalia.org/index.php?topic=52004.msg339694#msg339694

Offline patrick25

  • Post: 922
Re: Cambiare font nome schede?
« Risposta #4 il: 05 Aprile 2013 19:06:05 »
Qui trovi diversi codici per modifcare l'aspetto delle schede:

http://forum.mozillaitalia.org/index.php?topic=52004.msg339694#msg339694

Grazie mille anche per questa segnalazione... sto usando TabMix plus e - per ora - per le mie esigenze e gusti sono soddisfatto... mancava il tipo di font.... ma già che ci sono chiedo anche se è possibile variarne la dimensione.... si può (nel link non mi pare ci sia la risposta...)?


Offline Iceberg

  • Moderatore
  • Post: 9093
Re: Cambiare font nome schede?
« Risposta #5 il: 05 Aprile 2013 21:00:57 »
C'è la risposta, attenzione che variare la dimensione del font può facilmente portare ad obbrobri.

Codice: [Seleziona]
/* Cambia il font delle schede */

.tabbrowser-tab {
   -moz-appearance: none !important;
    font-family: "Verdana" !important;
    font-weight: bold !important;
    font-style: italic !important;
    font-size: 12px !important; }

Offline patrick25

  • Post: 922
Re: [userChrome] Cambiare font nome schede?
« Risposta #6 il: 06 Aprile 2013 19:16:36 »
Ops, sbadatone.... non avevo visto..... ri-denghiù!  :D

0 Utenti e 1 Visitatore stanno visualizzando questo topic.