From 256c12732577084488011f99572d6d0c7e8385b5 Mon Sep 17 00:00:00 2001
From: HouTeng Chan <ht-chen21@mails.tsinghua.edu.cn>
Date: Thu, 25 Jul 2024 09:31:29 +0000
Subject: [PATCH] Update file attributions.html

---
 wiki/pages/attributions.html | 35 ++++++++++++++++++++++++++++++++++-
 1 file changed, 34 insertions(+), 1 deletion(-)

diff --git a/wiki/pages/attributions.html b/wiki/pages/attributions.html
index 845800cf..a2f76c8c 100644
--- a/wiki/pages/attributions.html
+++ b/wiki/pages/attributions.html
@@ -42,8 +42,27 @@
       height: 4px; 
     }
     
+    .progress-container {
+      position: fixed;
+      left: 20px;
+     bottom: 20px;
+     width: 100px;
+     height: 100px;
+    }
+
+    .progress-bar-circle {
+      transform: rotate(-90deg);
+     transform-origin: center;
+    }
+
+    .progress-circle {
+      stroke: #04AA6D;
+      stroke-linecap: round;
+      stroke-dasharray: 283;
+      stroke-dashoffset: 283;
+    }
   </style>
-      
+    
 </head>
 
 <body>
@@ -64,6 +83,11 @@
     </ul>
 </div>
 
+<div class="progress-container">
+  <svg class="progress-bar-circle" width="100" height="100">
+    <circle class="progress-circle" cx="50" cy="50" r="45" stroke-width="5" fill="transparent"></circle>
+  </svg>
+</div>
 
 <div class="row mt-4">
   <div class="col-lg-12">
@@ -124,5 +148,14 @@
 </div>
 
 {% endblock %}
+<script>
+  window.onscroll = function() {
+    var height = document.documentElement.scrollHeight - document.documentElement.clientHeight;
+    var scrolled = (window.scrollY / height) * 100;
+    var offset = 283 - (283 * scrolled) / 100;
+    document.querySelector('.progress-circle').style.strokeDashoffset = offset;
+  };
+</script>
+
 </body>
 </html>
\ No newline at end of file
-- 
GitLab