function f(n)  { 
    document.getElementById('middle-content').style.fontSize = "14px"
  } 
    function f1(n)  { 
    document.getElementById('middle-content').style.fontSize = "11px" 
  } 
    function f2(n)  { 
    document.getElementById('middle-content').style.fontSize = "9px" 
  }