Update public/js/paperfilter.js

public/js/paperfilter.js

@@ -12,6 +12,7 @@ function filter(year){
     
 
     if (activeyear === year) {
+        
         // Clicking on the same button again, do nothing
         return;
     }
@@ -207,7 +208,7 @@ function filter(year){
                 document.getElementById("filter2020").style.backgroundColor = "lightgrey"
 		        document.getElementById("filter2022").style.backgroundColor = "lightgrey"
 		        document.getElementById("filter2023").style.backgroundColor = "lightgrey"
-                document.getElementById("filterall").style.backgroundColor = "lightgrey"
+                document.getElementById("filterall").style.backgroundColor = "grey"
                 document.getElementById("filter2019").innerHTML = "2019"
                 document.getElementById("filter2021").innerHTML = "2021" 
                 document.getElementById("filter2020").innerHTML = "2020"