Zmiana czcionki w interfejsie Gmail

Jestem przyzwyczajony do pisania maili czcionką nieproporcjonalną (czy jak kto woli czcionką o stałej szerokości), niestety webowy interfejs Gmail nie ma takiej opcji w ustawieniach. Po wpisaniu w wyszukiwarce frazy "gmail fixed width font" znalazło się sporo stron z opisami jak taką czcionkę ustawić. Pomimo, że żaden z nich nie zadziałał u mnie od ręki, to ogólna idea była słuszna: trzeba korzystać z Firefoxa (ale to przecież oczywiste) i wpisać stosowny styl do pliku chrome/userContent.css. Lokalizacja tego pliku zależy od systemu operacyjnego, tutaj można się dowiedzieć gdzie go szukać. Do sprawdzenia jaki styl należy zmodyfikować użyłem Firebuga i ostatecznie mój plik userContent.css wygląda tak:

@-moz-document domain(mail.google.com) {
  textarea.iE5Yyc {
    font-family: monospace !important;
    font-size: 12px !important;
  }
  body.tr-field {
    font-family: monospace !important;
    font-size: 12px !important;
  }
}

Oznaczenie !important nie należy do standardu CSS, ale jest rozpoznawane przez Firefoxa. Oznacza, że dany wpis z userContent.css ma nadpisać styl pobrany z serwera.

OSGi, Spring Dynamic Modules, Eclipse i Maven - część 1.

[aktualizacja 2008.06.20]

Edycja w Bloggerze wpisu zawierającego XML i kod źródłowy (wcięcia!) to nieporozumienie... Dlatego teksty dotyczące programowania będą lądować w praktycznej baryłeczce znajdującej się na wordpress.com.