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