1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
4 <meta http-equiv="Content-Type" content="text/html;charset=utf-8">
5 <meta name="robots" content="noodp">
7 <title>The WebKit Open Source Project<?php if (isset($title)) { echo " - " . $title; } ?></title>
9 <link rel="stylesheet" type="text/css" href="/css/main.css">
10 <link rel="stylesheet" type="text/css" href="/css/green.css" title="green">
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">
19 <link rel="stylesheet" type="text/css" href="/css/ie.css">
22 <script type="text/javascript">
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";
36 if (isset($extra_head_content)) {
37 echo $extra_head_content;
44 <h1>The WebKit Open Source Project</h1>