From bb34cddcda3e4d4f6588537f99f425135f9dbb74 Mon Sep 17 00:00:00 2001
From: HouTeng Chan <ht-chen21@mails.tsinghua.edu.cn>
Date: Thu, 25 Jul 2024 08:31:52 +0000
Subject: [PATCH] Update file attributions.html
---
wiki/pages/attributions.html | 17 ++++++++---------
1 file changed, 8 insertions(+), 9 deletions(-)
diff --git a/wiki/pages/attributions.html b/wiki/pages/attributions.html
index 46c46658..56a4ebe3 100644
--- a/wiki/pages/attributions.html
+++ b/wiki/pages/attributions.html
@@ -59,9 +59,8 @@
<li><a href="#topic3">Topic3</a></li>
<li><a href="#topic4"">Topic4</a></li>
</ul>
- <div class="scroll-progress"></div>
</div>
-
+ <div class="scroll-progress"></div>
<div class="row mt-4">
<div class="col-lg-12">
<h2 id="description">
@@ -123,10 +122,10 @@
{% endblock %}
<script>
- document.addEventListener("scroll", function() {
- var winScroll = document.body.scrollTop || document.documentElement.scrollTop;
- var height = document.documentElement.scrollHeight - document.documentElement.clientHeight;
- var scrolled = (winScroll / height) * 100;
- document.querySelector('.scroll-progress').style.height = scrolled + "%";
- });
- </script>
+document.addEventListener("scroll", function() {
+ var winScroll = document.body.scrollTop || document.documentElement.scrollTop;
+ var height = document.documentElement.scrollHeight - document.documentElement.clientHeight;
+ var scrolled = (winScroll / height) * 100;
+ document.querySelector('.scroll-progress').style.height = scrolled + "%";
+});
+</script>
--
GitLab