function stylePage(css)
{
  if (document.getElementsByTagName && document.createElement)
    {
      styling = document.createElement('link');
      styling.setAttribute ('rel' , 'stylesheet');
      styling.setAttribute ('type' , 'text/css');
      styling.setAttribute ('href' , '/css/' + css + '.css');
      document.documentElement.getElementsByTagName('head')[0].appendChild(styling);
    }
}