From e3229f0f6dbb5d713168acf97dbd9c9345deeec2 Mon Sep 17 00:00:00 2001
From: Chris Done <chrisdone@gmail.com>
Date: Thu, 29 May 2014 11:37:06 +0200
Subject: [PATCH] Add nav in a decent place for mobile phones

---
 src/HL/V/Home.hs  |  6 ++++--
 static/css/hl.css | 23 +++++++++++++++++++++--
 2 files changed, 25 insertions(+), 4 deletions(-)

diff --git a/src/HL/V/Home.hs b/src/HL/V/Home.hs
index a5575b7..597a692 100644
--- a/src/HL/V/Home.hs
+++ b/src/HL/V/Home.hs
@@ -16,13 +16,15 @@ homeV =
     "Haskell Programming Language"
     (\_ _ ->
        linkcss "http://fonts.googleapis.com/css?family=Ubuntu:700")
-    (\_ url ->
+    (\cur url ->
        do navigation False Nothing url
           header url
           try
           community url
           features
-          events)
+          events
+          div [class_ "mobile"]
+              (navigation False cur url))
 
 header :: (Route App -> AttributeValue) -> Senza
 header url =
diff --git a/static/css/hl.css b/static/css/hl.css
index 7cc2bb8..5239c8e 100644
--- a/static/css/hl.css
+++ b/static/css/hl.css
@@ -71,6 +71,9 @@ h2 {
    Navigation
    */
 
+.mobile > .navbar {
+  display: none;
+}
 .navbar {
   background-color:#352f44;
   border-radius:0;
@@ -329,13 +332,29 @@ h2 {
   .navbar-default .navbar-collapse, .navbar-default .navbar-form {
     border: 0;
   }
+  .footer-contribute {
+    display: none;
+  }
 }
 
 @media (max-width: 480px){
   .navbar {
     display: none;
   }
-  .footer-contribute {
-    display: none;
+  .mobile > .navbar {
+    display: block;
+  }
+  .wrap {
+    padding-bottom: 0;
+  }
+  .footer {
+    background: #150e1a; /* Old browsers */
+    background: -moz-linear-gradient(left, #150e1a 0%, #22172a 100%); /* FF3.6+ */
+    background: -webkit-gradient(linear, left top, right top, color-stop(0%,#150e1a), color-stop(100%,#22172a)); /* Chrome,Safari4+ */
+    background: -webkit-linear-gradient(left, #150e1a 0%,#22172a 100%); /* Chrome10+,Safari5.1+ */
+    background: -o-linear-gradient(left, #150e1a 0%,#22172a 100%); /* Opera 11.10+ */
+    background: -ms-linear-gradient(left, #150e1a 0%,#22172a 100%); /* IE10+ */
+    background: linear-gradient(to right, #150e1a 0%,#22172a 100%); /* W3C */
+    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#150e1a', endColorstr='#22172a',GradientType=1 ); /* IE6-9 */
   }
 }