#!/usr/bin/php
<?php
if (!isset($GLOBALS["HEADER_TITLE"])) {
$GLOBALS["HEADER_TITLE"] = "";
} else {
$GLOBALS["HEADER_TITLE"] = ": " . $GLOBALS["HEADER_TITLE"];
}
?>
<!DOCTYPE html>
<html lang="en">
<head>
<title>Hyperling<?php echo($GLOBALS["HEADER_TITLE"]); ?></title>
<link rel="icon" sizes="32x32"
href="/files/media/icons/favicon.ico"
>
<link rel="icon" sizes="192x192"
href="/files/media/icons/favicon.ico"
>
<!-- CSS -->
<style>
<?php include "main.css"; ?>
</style>
<style>
<?php include "font.css"; ?>
</style>
<style>
<?php include "dark.css"; ?>
</style>
<style>
<?php include "banner.css"; ?>
</style>
</head>