2020-05-29 20:30:37 +02:00
|
|
|
/* Toggle between adding and removing the "responsive" class to navigation when the user clicks on the icon */
|
2020-05-21 10:18:40 +02:00
|
|
|
function menuBars() {
|
2020-05-29 20:30:37 +02:00
|
|
|
var x = document.getElementById("navigation");
|
|
|
|
if (x.className === "navigation") {
|
2020-05-21 10:18:40 +02:00
|
|
|
x.className += " responsive";
|
|
|
|
} else {
|
2020-05-29 20:30:37 +02:00
|
|
|
x.className = "navigation";
|
2020-05-21 10:18:40 +02:00
|
|
|
}
|
|
|
|
}
|