$username = ( !isset($username) ? '' : $username );
-global $theme, $chosen_theme, $color;
+global $theme, $chosen_theme, $color, $custom_css;
+
+$custom_css = getPref($data_dir, $username, 'custom_css', 'none' );
+
$theme = ( !isset($theme) ? array() : $theme );
$color = ( !isset($color) ? array() : $color );
getPref($data_dir, $username, 'javascript_setting', SMPREF_JS_AUTODETECT);
$javascript_on = getPref($data_dir, $username, 'javascript_on', SMPREF_ON);
+global $search_memory;
+$search_memory = getPref($data_dir, $username, 'search_memory', 0);
+
do_hook('loading_prefs');
?>
\ No newline at end of file