v2.5.0: keep admin scroll clear

admin-web/static/app.js

@@ -605,6 +605,9 @@ function setPage(page, push = true) {
   if (push && location.hash !== `#${next}`) {
     history.replaceState(null, "", `#${next}`);
   }
+  requestAnimationFrame(() => {
+    window.scrollTo({ top: 0, behavior: push ? "smooth" : "auto" });
+  });
   if (next === "traffic") {
     refreshStats().catch((err) => toast(err.message));
   } else if (next === "keys") {

admin-web/static/index.html

@@ -400,6 +400,6 @@
       </div>
     </div>
   </div>
-  <script src="/app.js?v=2.5.0-admin12" type="module"></script>
+  <script src="/app.js?v=2.5.0-admin13" type="module"></script>
 </body>
 </html>

admin-web/static/styles.css

@@ -935,6 +935,7 @@ td small {
 
 .user-traffic-panel {
   margin-top: 18px;
+  scroll-margin-top: 112px;
 }
 
 .status-control {