\n";
}
function generate_html_div_css_chooser()
{
// TODO : fonction JS qui fait ce qu'il faut !! (a mettre dans le head ??)
require_once('config.inc.php');
if ( ! is_array($CONFIG['CSS']['CHOOSER_LIST']) ) { return false; }
if ( isset($_COOKIE['awor']['custom_css'] ) ) { $css_selected=$_COOKIE['awor']['custom_css']; };
echo '
' . "\n";
echo ' '. "\n";
echo '
'. "\n";
}
function generate_html_div_deconnect()
{
echo '