# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1509043780 -10800
# Node ID 7db813d0d2a683a0fb8c53f14b8fb8e09dc927e7
# Parent  aba021739daeeed5f420cf40ed880571cac587e9
Oops, className/classList confusion. Fixed.

diff -r aba021739dae -r 7db813d0d2a6 util.js
--- a/util.js	Thu Oct 26 21:43:07 2017 +0300
+++ b/util.js	Thu Oct 26 21:49:40 2017 +0300
@@ -97,8 +97,8 @@
   {
     var celem = document.getElementById(currLoc);
     var mcelem = document.getElementById("m"+ currLoc);
-    celem.className = celem.classList.remove("nactive");
-    mcelem.className = mcelem.classList.remove("nactive");
+    celem.classList = celem.classList.remove("nactive");
+    mcelem.classList = mcelem.classList.remove("nactive");
   }
 
   var nelem = document.getElementById(newLoc);