Update public/js/paperfilter.js

public/js/paperfilter.js

@@ -236,10 +236,12 @@ 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("filter2019").innerHTML = "2019"
         document.getElementById("filter2021").innerHTML = "2021" 
         document.getElementById("filter2020").innerHTML = "2020"
 		document.getElementById("filter2022").innerHTML = "2022" 
 		document.getElementById("filter2023").innerHTML = "2023" 
+        document.getElementById("filterall").innerHTML = "All"
     }
 }