text: function menuButOver(){
    var main_circ = document.getElementById("main-circle");
    main_circ.style.backgroundColor="#8C8C8C";
    main_circ.style.transition="1s";
    main_circ.style.transform="rotate(5deg)";
  }
  function menuButLev(){
    var main_circ = document.getElementById("main-circle");
    main_circ.style.backgroundColor="grey";
    main_circ.style.transform="rotate(0deg)";
  }