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">