function SettingsManager() 
{
 this.setTextSize = 
  function setTextSize( value ) 
  {
   var ch = new CookieHandler();
   ch.setCookie( "textsize", value );
  }

 this.getTextSize = 
  function getTextSize() 
  {
   var ch = new CookieHandler();
   var value = ch.getCookie( "textsize" );
   
   if ( value == null )
   {
    return 0.70;
   }

   return parseFloat( value );
  }

}