1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2 <html xmlns="http://www.w3.org/1999/xhtml">
4 <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
6 <title>The WebKit Open Source Project<?php if (isset($title)) { echo " - " . $title; } ?></title>
8 <link rel="stylesheet" type="text/css" href="/css/main.css" />
9 <link rel="stylesheet" type="text/css" href="/css/green.css" title="green" />
12 $msie = '/msie\s(5\.[5-9]|[6]\.[0-9]*).*(win)/i';
13 $agent = $_SERVER['HTTP_USER_AGENT'];
14 if( isset($agent) && preg_match($msie, $agent) && ! preg_match('/opera/i', $agent)) {
16 <link rel="stylesheet" type="text/css" href="/css/ie.css" />
18 <link rel="alternate stylesheet" type="text/css" href="/css/blue.css" title="blue" />
19 <link rel="alternate stylesheet" type="text/css" href="/css/yellow.css" title="yellow" />
20 <link rel="alternate stylesheet" type="text/css" href="/css/pink.css" title="pink" />
21 <link rel="alternate stylesheet" type="text/css" href="/css/purple.css" title="purple" />
22 <link rel="alternate stylesheet" type="text/css" href="/css/gray.css" title="gray" />
25 <script type="text/javascript">
26 pic1 = new Image(8,9);
27 pic1.src="/images/green-bullet.png";
28 pic2 = new Image(8,9);
29 pic2.src="/images/blue-bullet.png";
30 pic3 = new Image(8,9);
31 pic3.src="/images/yellow-bullet.png";
32 pic4 = new Image(8,9);
33 pic4.src="/images/pink-bullet.png";
34 pic5 = new Image(8,9);
35 pic5.src="/images/purple-bullet.png";
39 if (isset($extra_head_content)) {
40 echo $extra_head_content;
47 <h1>The WebKit Open Source Project</h1>