Made it so that the style of the language buttons change after being clicked.

langNav.js

@@ -23,9 +23,13 @@ for (let ele of langNavigator.children) {
         ele.addEventListener(
             'mouseup',
             (e) => {
+                for (let btn of document.getElementsByClassName('activeLangBtn')) {
+                    btn.className = 'nonactiveLangBtn';
+                }
                 let path = langNavMap[ele.id];
                 console.log("Loading " + path);
                 load_info(path);
+                ele.className = 'activeLangBtn';
             }
         );
     }