Make the analysis page more useful
[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     <script>
37       (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
38       (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
39       m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
40       })(window,document,'script','//www.google-analytics.com/analytics.js','ga');
41
42       ga('create', 'UA-7299333-1', 'webkit.org');
43       ga('send', 'pageview');
44     </script>
45     
46 <?php
47     if (isset($extra_head_content)) {
48         echo $extra_head_content;
49     }
50 ?>
51 </head>
52 <body>
53
54 <div id="title">
55 <h1>The WebKit Open Source Project</h1>
56 </div>
57
58 <div id="icon"></div>
59
60 <div id="content">