function openNavigation() {
    var navigation = document.getElementById("theNavigation");
    if (navigation.className === "navigation") {
        navigation.className += " responsive";
    } else {
        navigation.className = "navigation";
    }
}