[#58310366] Responsive CSS: tweak back to top.