<% if (file_exists('.title')) {
$title = file_get_contents('.title');
} else {
$title = $_SERVER['HTTP_HOST'];
} %>
<% if (file_exists('.devel')) {
$title = $title . " (DEVEL)";
} %>
<%= $title %>
<% $colmat_root = dirname($_SERVER['DOCUMENT_ROOT']) . "/etc/colmat" %>
<% include "$colmat_root/bgcolor.inc" %>
<% if ($bgimage != "") { %>
<% } elseif ($bgcolor != "") { %>
<% } else { %>
<% } %>
<%
if (file_exists('.devel') and
file_exists("$colmat_root/header-devel.inc")) {
echo '[DEVEL ]