[git-web] Move git-web to use static.gnome.org

[Andrea Veri <av src gnome org>]

commit 572d9f71f329bd84eb4808a7bead5e196581d4de
Author: Andrea Veri <av gnome org>
Date:   Thu Nov 7 22:45:04 2013 +0100

    Move git-web to use static.gnome.org

 cgit-gnome.css   |    2 +-
 gnome-layout.css |   20 ++++++++++----------
 gnome.header     |    2 +-
 3 files changed, 12 insertions(+), 12 deletions(-)
---
diff --git a/cgit-gnome.css b/cgit-gnome.css
index 31085a8..b931d92 100644
--- a/cgit-gnome.css
+++ b/cgit-gnome.css
@@ -45,7 +45,7 @@ a, a:visited, a:hover, table.list td a:hover {
 /* Use a hard-hat instead of the GNOME logo for the site header */
 
 #gnome-header {
-    background: url(https://www-old.gnome.org/css/gnome-git.png) 20px 12px no-repeat;
+    background: url(https://static.gnome.org/img/gnome-git.png) 20px 12px no-repeat;
     margin-top: 40px;
 }
 
diff --git a/gnome-layout.css b/gnome-layout.css
index 4bc513c..db1ddd3 100644
--- a/gnome-layout.css
+++ b/gnome-layout.css
@@ -246,7 +246,7 @@ body {
        margin: 0px;
        padding: 0px;
        font-family: sans-serif;
-       background: white url(https://www-old.gnome.org/css/star.png) -100px -200px no-repeat;
+       background: white url(https://static.gnome.org/img/star.png) -100px -200px no-repeat;
        height: 101%;
 }
 
@@ -291,7 +291,7 @@ div.sidebar {
 div.sidebar h2 {
        margin-top: 0;
        padding: 5px 2ex 5px 2ex;
-       background: url(https://www-old.gnome.org/css/t.png) top left repeat-y;
+       background: url(https://static.gnome.org/img/t.png) top left repeat-y;
        font-size: 100%;
 }
 
@@ -322,7 +322,7 @@ ul.toc li a:hover {
 
 #general {
        list-style: none;
-       background: #2E3436 url(https://www-old.gnome.org/css/general_bg.png) 0 100% repeat-x;
+       background: #2E3436 url(https://static.gnome.org/img/general_bg.png) 0 100% repeat-x;
        text-align: right;
        padding: 0 1ex;
        margin: 0;
@@ -331,7 +331,7 @@ ul.toc li a:hover {
 
 #general li {
        display: inline;
-       background: url(https://www-old.gnome.org/css/general_separator.png) 0 0 no-repeat;
+       background: url(https://static.gnome.org/img/general_separator.png) 0 0 no-repeat;
        padding-top: 10px;
        padding-bottom: 8px;
        margin-left: 0px;
@@ -352,21 +352,21 @@ ul.toc li a:hover {
 
 #general .home {
        float: left;
-       background: url(https://www-old.gnome.org/css/general_separator.png) 100% 0 no-repeat;
+       background: url(https://static.gnome.org/img/general_separator.png) 100% 0 no-repeat;
        padding-top: 0;
        padding-bottom: 0;
 }
 
 #general .home a {
        float: left;
-       background: url(https://www-old.gnome.org/css/foot.png) 7px 50% no-repeat;
+       background: url(https://static.gnome.org/img/foot.png) 7px 50% no-repeat;
        margin-left: 0;
        padding-left: 27px;
 }
 
 
 #gnome-header {
-       background: #729FCF url(https://www-old.gnome.org/css/gnome.png) 15px 10px no-repeat;
+       background: #729FCF url(https://static.gnome.org/img/gnome.png) 15px 10px no-repeat;
        float: left;
        width: 100%;
        font-size: 75%;
@@ -421,21 +421,21 @@ ul.toc li a:hover {
 }
 
 /*  #portal-globalnav li span {
-       background: url(https://www-old.gnome.org/css/tab_right.png) 100% 0 no-repeat;
+       background: url(https://static.gnome.org/img/tab_right.png) 100% 0 no-repeat;
        padding: 7px 28px 7px 19px;  
 } */
 
 
 #portal-globalnav li.selected a {
        color: #3566A5;
-       background: url(https://www-old.gnome.org/css/tab_left.png) 0 -57px no-repeat;
+       background: url(https://static.gnome.org/img/tab_left.png) 0 -57px no-repeat;
        border-bottom: none;
        padding-top: 8px;
        padding-bottom: 8px;
 }
 
 /* #portal-globalnav li.selected a span {
-       background: url(https://www-old.gnome.org/css/tab_right.png) 100% -57px no-repeat;
+       background: url(https://static.gnome.org/img/tab_right.png) 100% -57px no-repeat;
        padding-top: 8px;
        padding-bottom: 8px;
 } 
diff --git a/gnome.header b/gnome.header
index 72e2d6e..4e48ba5 100644
--- a/gnome.header
+++ b/gnome.header
@@ -9,7 +9,7 @@
 <div id="page">
     <div id="logo_bar" class="container_12">
       <div id="logo" class="grid_3">
-        <a title="Go to home page" href="https://git.gnome.org/";><img 
src="https://www-old.gnome.org/css/gnome-git.png"; alt="GNOME: Git Repository" /></a>
+        <a title="Go to home page" href="https://git.gnome.org/";><img 
src="https://static.gnome.org/img/gnome-git.png"; alt="GNOME: Git Repository" /></a>
       </div>
 
       <div id="top_bar" class="grid_9">