2010-11-22 Ryosuke Niwa <rniwa@webkit.org>
[WebKit-https.git] / WebKitSite / header.inc
1 <!DOCTYPE html>
2 <html>
3 <head>
4     <meta charset="utf-8">
5     <meta name="robots" content="noodp">
6
7     <title>The WebKit Open Source Project<?php if (isset($title)) { echo " - " . $title; } ?></title>
8
9     <link rel="stylesheet" type="text/css" href="/css/main.css">
10     <link rel="stylesheet" type="text/css" href="/css/green.css" title="green">
11
12     <link rel="alternate stylesheet" type="text/css" href="/css/blue.css" title="blue">
13     <link rel="alternate stylesheet" type="text/css" href="/css/yellow.css" title="yellow">
14     <link rel="alternate stylesheet" type="text/css" href="/css/pink.css" title="pink">
15     <link rel="alternate stylesheet" type="text/css" href="/css/purple.css" title="purple">
16     <link rel="alternate stylesheet" type="text/css" href="/css/gray.css" title="gray">
17
18 <!--[if gte IE 5]>
19     <link rel="stylesheet" type="text/css" href="/css/ie.css">
20 <![endif]-->
21
22     <script>
23         pic1 = new Image(8,9);
24         pic1.src="/images/green-bullet.png";
25         pic2 = new Image(8,9);
26         pic2.src="/images/blue-bullet.png";
27         pic3 = new Image(8,9);
28         pic3.src="/images/yellow-bullet.png";
29         pic4 = new Image(8,9);
30         pic4.src="/images/pink-bullet.png";
31         pic5 = new Image(8,9);
32         pic5.src="/images/purple-bullet.png";
33     </script>
34     
35 <?php
36     if (isset($extra_head_content)) {
37         echo $extra_head_content;
38     }
39 ?>
40 </head>
41 <body>
42
43 <div id="title">
44 <h1>The WebKit Open Source Project</h1>
45 </div>
46
47 <div id="icon"></div>
48
49 <div id="content">