



        
        var PREFS = {
        
            _prefs : { 'toc_hidden':'0','toc_theme_':'DEFAULT','toc_fontsize_':'4','main_theme_':'DEFAULT','main_fontsize_':'4','toc_truncate_js':'0' },
        
            _pref_options : { 'toc_theme_':[{'key':'DEFAULT','value':'toc_theme_standard'},{'key':'ICONS','value':'toc_theme_icons'}],'toc_fontsize_':[{'key':'2','value':'xx-sm'},{'key':'3','value':'x-sm'},{'key':'4','value':'sm'},{'key':'5','value':'medium'},{'key':'6','value':'lg'},{'key':'7','value':'x-lg'}],'main_theme_':[{'key':'DEFAULT','value':'main_theme_standard'}],'main_fontsize_':[{'key':'2','value':'xx-sm'},{'key':'3','value':'x-sm'},{'key':'4','value':'sm'},{'key':'5','value':'medium'},{'key':'6','value':'lg'},{'key':'7','value':'x-lg'}] },
        
            _pref_locks :  { 'toc_hidden':false,'toc_theme_':false,'toc_fontsize_':false,'main_theme_':false,'main_fontsize_':false,'toc_truncate_js':false },
                
            findPref : function(key) {
            
                if ( !this._pref_locks[key] )  {
                    var c = CookieHelper.readCookie(key); 
                    if (c) return c;
                }
                return this._prefs[key];
            },
            
            findPrefOptions : function(key) {
           
               return this._pref_options[key];
            },
            
            savePref : function(key, value) {
            
                if ( !this._pref_locks[key] )  {
                
                    CookieHelper.writeCookie( key , value , null ,null , '/' ); 
                    this._prefs[key] = value;
                }
            }
        };
   
    

