|
// +--------------------------------------------------------------------+
//
// $Id: default-head.php 9 2003-02-03 04:48:09Z luca $
//
require_once 'Hook.php';
/**
* Draws a HTML HEAD.
*/
global $CONFIG;
$root = $CONFIG['root'];
$title = $CONFIG['title'];
$desc = @$CONFIG['desc'];
$css = is_array($CONFIG['css']) ? $CONFIG['css'] : array($CONFIG['css']);
?>
Luca's Home<?= $title ? ": $title" : '' ?>
" type="text/css">