ja wie gesagt. nachdem mozilla mal wieder abgespackt ist, habe ich den task manager geöffnet und mozilla geschlossen. danach waren auf einmal die symbole größer, als vorher. jetzt weiß ich nicht wie ich das wieder ändern kann ~~