[mhonarc] add header



commit f28e7a5f5128f75e3ef91d7b9316c4df9715d6e0
Author: Olav Vitters <olav vitters nl>
Date:   Wed Feb 13 00:24:52 2013 +0100

    add header

 archive.py |   87 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++-
 1 files changed, 85 insertions(+), 2 deletions(-)
---
diff --git a/archive.py b/archive.py
index 0fe70b1..69564f8 100755
--- a/archive.py
+++ b/archive.py
@@ -246,6 +246,89 @@ class Archiver:
                 dirs[a_dir] = a_dir
 
             with open(os.path.join(path, 'index.html'), 'w') as fp:
+                fp.write('''<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd";>
+<html xmlns="http://www.w3.org/1999/xhtml";>
+<head>
+  <link href="/css/layout.css" rel="stylesheet" type="text/css" media="screen">
+  <link href="/css/style.css" rel="stylesheet" type="text/css" media="all">
+  <link href="/css/archive.css" rel="stylesheet" type="text/css" media="all">
+  <link rel="icon" type="image/png" href="http://www.gnome.org/img/logo/foot-16.png";>
+  <link rel="SHORTCUT ICON" type="image/png" href="http://www.gnome.org/img/logo/foot-16.png";>
+  <title>The {listname} Archives</title>
+</head>
+
+<body>
+  <!-- site header -->
+  <div id="page_archive">
+  
+       <div id="global_domain_bar_archive">
+        <div class="maxwidth">
+          <div class="tab">
+            <a class="root" href="http://www.gnome.org/";>GNOME.org</a>
+          </div>
+        </div>
+      </div>
+      
+        
+  
+        
+    <div id="header_archive">
+     <div id="logo_bar" class="container_12">
+      <div id="logo" class="grid_3">
+        <a title="Go to home page" href="https://mail.gnome.org/";><img src="http://www-old.gnome.org/css/gnome-mail.png"; alt="GNOME: Mail Services" /></a>
+      </div>
+
+       <div id="top_bar_archive" class="grid_9">
+        <div class="left">
+          <div class="menu-globalnav-container">
+            <ul id="menu-globalnav" class="menu">
+              <li id="menu-item-1039" class=
+              "menu-item menu-item-type-post_type menu-item-object-page menu-item-1039">
+              <a href="https://mail.gnome.org/";>Home</a></li>
+
+              <li id="menu-item-1037" class=
+              "menu-item menu-item-type-post_type menu-item-object-page menu-item-1037">
+              <a href="https://mail.gnome.org/mailman/listinfo/";>Mailing Lists</a></li>
+
+              <li id="menu-item-1040" class=
+              "menu-item menu-item-type-post_type menu-item-object-page menu-item-1040">
+              <a href="https://mail.gnome.org/archives/";>List Archives</a></li>
+            </ul>
+          </div>
+        </div>
+
+        <div class="right">
+          <form role="search" method="get" id="searchform" action="http://www.google.com/custom";>
+            <div>
+              <label class="hidden">Search</label> <input type="text" name="q" maxlength="255" size="15" class="searchTerms" placeholder="Search" />
+              <input type="hidden" name="domains" value="mail.gnome.org" /> <input type="hidden" name="hq" id="hq" value="inurl:/archives/" /> 		      <input type="hidden" name="sitesearch" value="mail.gnome.org" />
+            </div>
+          </form>
+        </div>
+      </div>
+    </div>
+   </div>
+ </div> <!-- end of #header -->
+
+<!-- end site header -->
+
+  <div id="body_gnome_archive" class="body">
+     <p>
+      <a href="https://mail.gnome.org/mailman/listinfo/{listname}";>More info on this list...</a>
+     </p>'''.format(listname=listname))
+
+
+                if private:
+                    fp.write('''
+<form method="get" action="/mailman/private/{listname}/search">
+<p>
+Search:
+<input type="text" name="query" size="40">
+<input type="submit" name="submit" value="Search!">
+<a href="/mailman/private/{listname}/search">[More...]</a>
+</p>
+</form>'''.format(listname=listname))
+
                 # Reshow general info
                 fp.write(get_mailinglist_info(listname))
 
@@ -353,7 +436,7 @@ class Archiver:
 
                 <li id="menu-item-1058" class=
                 "menu-item menu-item-type-custom menu-item-object-custom menu-item-1058">
-                <a href="http://mail.gnome.org/mailman/listinfo";>Mailing Lists</a></li>
+                <a href="https://mail.gnome.org/mailman/listinfo";>Mailing Lists</a></li>
 
                 <li id="menu-item-1059" class=
                 "menu-item menu-item-type-custom menu-item-object-custom menu-item-1059">
@@ -369,7 +452,7 @@ class Archiver:
 
                 <li id="menu-item-1062" class=
                 "menu-item menu-item-type-custom menu-item-object-custom menu-item-1062">
-                <a href="http://live.gnome.org/Jhbuild";>Build Tool</a></li>
+                <a href="https://live.gnome.org/Jhbuild";>Build Tool</a></li>
               </ul>
             </li>
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]