From 71ff49f730614b1a4797f819a45ff195085b4275 Mon Sep 17 00:00:00 2001
From: Tom Christie <tom@tomchristie.com>
Date: Thu, 13 Sep 2012 18:39:20 +0100
Subject: [PATCH] Drop GitHub button from docs on small screens

---
 css/default.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/css/default.css b/css/default.css
index 8e0490d32..213a700ed 100644
--- a/css/default.css
+++ b/css/default.css
@@ -22,6 +22,12 @@ pre {
     display: block;
 }
 
+@media (max-width: 480px) {
+  .repo-link {
+    display: none;
+  }
+}
+
 /* Header link to GitHub */
 .repo-link {
     float: right;