Suche mit Regex

[Struppi]

Oh, kann man dieses Stylesheet haben?
und was sind das für nützliche Buttons?
(ich vermute ein JS und ich vermute ich habe einen Thread über Benutzereinstellungen nicht gründlich mitgelesen)

Struppi.