function navResponsive() {
  var x = document.getElementById("right-nav");
  if (x.className === "nav-links") {
    x.className += " responsive";
  } else {
    x.className = "nav-links";
  }
  var y = document.getElementById("nav-container");
  {
    if (y.className === "top-nav") {
      y.className += " responsive";
    } else {
      y.className = "top-nav";
    }
  }
}