diff options
Diffstat (limited to 'html/@include.php')
| -rw-r--r-- | html/@include.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/html/@include.php b/html/@include.php index 3966ec0..7ce79b0 100644 --- a/html/@include.php +++ b/html/@include.php @@ -14,7 +14,9 @@ function indent($s, $n, $indent_first_line = false) { /// Get the standard <head> elements for the site function site_head($title) { return "<title>{$title}</title>\n" - . "<link rel=\"stylesheet\" href=\"/style/main.css\" />\n" + . "<link rel=\"stylesheet\" href=\"/style/main.css\" type=\"text/css\" />\n" + . "<link rel=\"stylesheet\" href=\"/style/amber.css\" title=\"Amber\" type=\"text/css\" />\n" + . "<link rel=\"alternate stylesheet\" href=\"/style/green.css\" title=\"Green\" type=\"text/css\" />\n" . "<!--\n" . " Hi there. Nice to see you here. Feel free to have a look around. Also check out the /about\n" . " page while you're at it. It's got a little bit more info about the site and the resources\n" |