From d26b879f579b412eee8dc6685eea12395d68008c Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Mar 19 2014 22:00:30 +0000
Subject: Add corresponding css for the horizontal menu


---

diff --git a/progit/static/progit.css b/progit/static/progit.css
index a8b69b7..c93a772 100644
--- a/progit/static/progit.css
+++ b/progit/static/progit.css
@@ -52,6 +52,42 @@ header#mainheader{
     margin-bottom: .5em;
 }
 
+
+div.horizontal-menu {
+    background-color: #EDEDED;
+    border-radius: 10px;
+    height: 3em;
+}
+
+div.horizontal-menu ul {
+    float: left;
+    margin: 0;
+    padding: 0;
+}
+
+div.horizontal-menu li {
+    display: inline;
+    float: left;
+}
+
+div.horizontal-menu a {
+    color: #4D4D4D;
+    display: block;
+    font-size: 1.1em;
+    font-weight: bold;
+    padding: 0.8em;
+}
+
+div.horizontal-menu li.selected a, div.horizontal-menu li.hovered a {
+    background: url("pink_arrow.png") no-repeat scroll center bottom rgba(0, 0, 0, 0);
+}
+
+div.horizontal-menu li.selected a, div.horizontal-menu li.left-for-now a {
+    color: #DB3279;
+    margin-left: auto;
+    margin-right: auto;
+}
+
 header h1,
 header h2,
 header p {