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

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

diff --git a/docs/static/css/default.css b/docs/static/css/default.css
index 8e0490d32..213a700ed 100644
--- a/docs/static/css/default.css
+++ b/docs/static/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;