// JavaScript Document

var x = 100;
function SmallFont()  {var x = 100; x *= 1; document.getElementById('middle').style.fontSize = x + '%'; }
function MediumFont() {var x = 100; x *= 1.2; document.getElementById('middle').style.fontSize = x + '%';}
function LargeFont() {var x = 100; x *= 1.4; document.getElementById('middle').style.fontSize = x + '%';}