blob: 3f5afdffd7823dfcd5817792729c42ee8052771f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
<?php
/**
* Header document.
* @package mirror
* @subpackage inc
*/
ob_start();
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<link rel="home" title="Home" href="https://www.gentoo.org/">
<link rel="stylesheet" type="text/css" href="https://www.gentoo.org/css/main.css" media="all">
<link rel="stylesheet" type="text/css" href="<?php echo WEBPATH; ?>/css/screen.css" media="screen">
<link rel="icon" href="https://www.gentoo.org/favicon.ico" type="image/png">
<title><?php echo $title; ?></title>
<meta name="robots" content="all">
<meta name="keywords" content="gentoo linux distribution source compile">
<?php echo (!empty($extra_headers))?$extra_headers:null?>
</head>
<body id="www-mozilla-org" class="secondLevel"<?php echo (!empty($body_tags))?' '.$body_tags.' ':null; ?>>
<div id="container">
<div id="header">
<table border="0" width="100%" cellspacing="0" cellpadding="0">
<tr>
<td valign="top" height="125" width="1%" bgcolor="#45347b"><a href="/"><img border="0" src="/images/gtop-www.jpg" alt="Gentoo Logo"></a></td>
<td valign="bottom" align="left" bgcolor="#000000" colspan="2"><p class="menu">
<H2><font color="#FFFFFF"> Gentoo Mirror Management</font></H2>
</p></td>
</tr>
<tr>
<td valign="top" align="right" width="1%" bgcolor="#dddaec"><table width="100%" cellspacing="0" cellpadding="0" border="0">
<tr><td height="1%" valign="top" align="right"><img src="/images/gridtest.gif" alt="Gentoo Spaceship"></td></tr>
<tr><td height="99%" valign="top" align="right"><table cellspacing="0" cellpadding="5" border="0"><tr><td valign="top">
<p class="altmenu">
<?php
if (!empty($nav)) {
require_once($nav);
}
?>
</p>
<br><br>
</td></tr></table></td></tr></table>
</td><td><table><tr><td> </td><td>
</div>
<div id="mBody">
<?php
echo '<div id="mainContent">';
?>
|