function textbutton()
{
    var myElement = document.getElementById("display2");
    myElement.style.fontSize="150%";
    myElement.style.fontFamily="Arial, Helvetica, sans-serif";
    myElement.style.lineHeight="150%";
    myElement.style.marginTop="";
   }
   function textbutton2()
{
    var myElement = document.getElementById("display2");
    myElement.style.fontSize="100%";
    myElement.style.fontFamily="Arial, Helvetica, sans-serif;";
     myElement.style.lineHeight="130%";
  }
   function textbutton3()
{
    var myElement = document.getElementById("display2");
    myElement.style.fontSize="90%";
    myElement.style.fontFamily="Arial, Helvetica, sans-serif;";
     myElement.style.lineHeight="130%";
  }