AND e_element <> 'iframe' 
  AND gui_element.fkey_gui_id = \$1 
  AND gui_element_vars.fkey_gui_id = \$1 
  AND var_type = 'text/css' 
ORDER BY var_name

SQL;
$v = array($gui_id);
$t = array('s');
$res = db_prep_query($sql, $v, $t);
$cnt = 0;
while ($row = db_fetch_array($res)) {
    echo $row["var_value"] . "\n";
}
?>
-->
</style>
<script type='text/javascript' src='../javascripts/core.php'></script>
</head>
<?php 
if (defined(LOAD_JQUERY_FROM_GOOGLE) && LOAD_JQUERY_FROM_GOOGLE) {
    echo "<script type='text/javascript' src='http://ajax.googleapis.com/ajax/libs/jquery/1.4.2/jquery.min.js'></script>";
}
$currentApplication = new gui($gui_id);
echo $currentApplication->toHtml();
$mapPhpParameters = htmlentities($urlParameters, ENT_QUOTES, CHARSET);
$mapPhpParameters .= "&amp;" . htmlentities($_SERVER["QUERY_STRING"]);
echo "<script type='text/javascript' src='../javascripts/map.php?" . $mapPhpParameters . "'></script>";
?>
</html>