Hallo ich selbst,
die Antwort habe ich in der Mozilla-Newsgroup gefunden, darum poste ich sie hier, falls jemand einmal im Forum danach sucht. Es geht mit einer Datei "userContent.css" im "chrome"-Verzeichnis des TB-Profils mit folgendem Inhalt:
.moz-text-plain, .moz-text-flowed {font-size: 13px !important;
font-family: "Courier New" !important; }
media print {
.moz-text-plain, .moz-text-flowed, .moz-text-plain pre {
font-size: 13px !important; font-family: "Andale Mono" !important;
}
}