2006-12-18 Ada Chan <adachan@apple.com>
[WebKit-https.git] / WebKitSite / header.inc
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
2 <html>
3 <head>
4     <meta http-equiv="Content-Type" content="text/html;charset=utf-8">
5
6     <title>The WebKit Open Source Project<?php if (isset($title)) { echo " - " . $title; } ?></title>
7
8     <link rel="stylesheet" type="text/css" href="/css/main.css">
9     <link rel="stylesheet" type="text/css" href="/css/green.css" title="green">
10
11 <?php
12     $msie = '/msie\s(5\.[5-9]|[6]\.[0-9]*).*(win)/i';
13     $agent = $_SERVER['HTTP_USER_AGENT'];
14     if( isset($agent) && preg_match($msie, $agent) && ! preg_match('/opera/i', $agent)) {
15 ?>
16     <link rel="stylesheet" type="text/css" href="/css/ie.css">
17 <?php } else { ?>
18     <link rel="alternate stylesheet" type="text/css" href="/css/blue.css" title="blue">
19     <link rel="alternate stylesheet" type="text/css" href="/css/yellow.css" title="yellow">
20     <link rel="alternate stylesheet" type="text/css" href="/css/pink.css" title="pink">
21     <link rel="alternate stylesheet" type="text/css" href="/css/purple.css" title="purple">
22     <link rel="alternate stylesheet" type="text/css" href="/css/gray.css" title="gray">
23 <?php } ?>
24
25     <script type="text/javascript">
26         pic1 = new Image(8,9);
27         pic1.src="/images/green-bullet.png";
28         pic2 = new Image(8,9);
29         pic2.src="/images/blue-bullet.png";
30         pic3 = new Image(8,9);
31         pic3.src="/images/yellow-bullet.png";
32         pic4 = new Image(8,9);
33         pic4.src="/images/pink-bullet.png";
34         pic5 = new Image(8,9);
35         pic5.src="/images/purple-bullet.png";
36     </script>
37     
38 <?php
39     if (isset($extra_head_content)) {
40         echo $extra_head_content;
41     }
42 ?>
43 </head>
44 <body>
45
46 <div id="title">
47 <h1>The WebKit Open Source Project</h1>
48 </div>
49
50 <div id="icon"></div>
51
52 <div id="content">