After frustated unable to get my source codes displayed smaller, I decided to play around with CSS’ font-size for our amusement.

Done using Javascript:

<script language="javascript">

function UpdateFont()
{
    var objTarget = document.getElementById('divtarget'); // a div
    var objSourceFont = document.getElementById('txbFont'); // a textbox
    var objSourceSize = document.getElementById('txbSize'); // a textbox
    if (objTarget != null && objSourceFont != null && objSourceSize != null)
   {
       objTarget.style.fontSize = objSourceSize.value;
       objTarget.style.fontFamily = objSourceFont.value;
   }
}

  </script>

Resources:

W3C Standard
W3School Tutorial