Ergänzung:
ich habe in CSS obige Klasse erstellt und vergebe sie nun wie folgt mit JavaScript:
document.getElementById("divLogo").className = "user-scrolled";
So hast du es gemeint, oder?
Das Logo "springt" natürlich immer noch, aber immerhin nun durch eine elegantere Variante 😉