Danke vielmals für die Hinweise. Sie haben mich zumindest auf den richtigen Weg gebracht. Ich hab dann auf anderen Seiten auch noch gefunden, wie man nicht nur die Menüschriftgröße ändert, sondern auch die der Lesezeichen. Außerdem gibts auch noch die Möglichkeit, den Abstand zwischen den Lesezeichen zu verringern.
Den Code dazu gibt's hier:
http://daihard.home.comcast.net/firefox/tips/user_chr.html
Hier noch mal die beiden Einträge speziell für die Bookmark Toolbar:
1. Schriftgröße ändern:
CSS
/* Change the font style on the bookmark toolbar */
.toolbarbutton-text {
font-size: 9pt !important;
font-family: Verdana !important;
color: #000000 !important;
}
2. Abstände zwischen den Einträgen ändern:
CSS
/* Reduce the space between text and borders */
toolbarbutton.bookmark-item {
padding: 1px !important;
}
Schriftart(font-family) und Schriftfarbe(color) kann man natürlich nach seinen Wünschen gestalten (Sans als Schrift ist ganz okay).