Linuxtrent: Customizzarsi Mozilla

  • From: <matteoianeselli@xxxxxxxxxxx>
  • To: linuxtrent@xxxxxxxxxxxxx
  • Date: Wed, 26 Sep 2001 13:39:28 +0200


Per la serie "fatti poco noti", Mozilla permette di applicare un CSS
utente agli elementi della GUI (file userChrome.css) e un CSS utente
al contenuto della pagina (file userContent.css). I due file si
trovano nella directory dove sono memorizzate le impostazioni
dell'utente. Ad esempio, nel mio caso, e`

~/.mozilla/Default User/1gohyhvp.slt/chrome

Ad esempio, l'userContent.css che segue fa si` che tutti i link (``a''
e` il nome del tag che realizza i link, ovviamente) siano in Times
bold, stile normale, grandezza di una volta e mezza la grandezza
normale, background giallo, e racchiusi tra parentesi graffe
(quest'ultima cosa solo se disponete di un Mozilla recente,
i.e. 0.9.4, perche` prima le pseudoclassi :before e :after non erano
implementate).

----------------------------------------------------------------------

a {
  background:  yellow;
  font-size:   1.5em;
  font-weight: bold    !important;
  font-style:  normal  !important;
  font-family: times   !important;
}

a:before {
  content: "{";
}

a:after {
  content: "}";
}

----------------------------------------------------------------------

Mentre l'userChrome.css che segue permette ad esempio di impostare lo
stile di menubar e bottoni vari:

----------------------------------------------------------------------
window {
  font-size: 16px !important;
  font-family: lucida !important;
}

menubar, menubutton, menulist, menu, menuitem {
  font-size: 16 !important;
  font-family: lucida !important;
}
----------------------------------------------------------------------

Per un elenco dei vari attributi impostabili via CSS, basta andare a
vedersi le specifiche di CSS2 a

http://www.w3.org/CSS

Buon smanettamento. :-)

-- 
Matteo Ianeselli  
m.ianeselli chiocciolina flashnet.it
M-x query-replace chiocciolina @
-- 
PROSSIMA ASSEMBLEA: venerdi` 28 settembre 2001 20:30 a Madrano di Pergine.

Per iscriversi  (o disiscriversi), basta spedire un  messaggio con SOGGETTO
"subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxxxxxx


Other related posts:

  • » Linuxtrent: Customizzarsi Mozilla