Drop GitHub button from docs on small screens

1 files changed, 6 insertions, 0 deletions

diff --git a/docs/static/css/default.css b/docs/static/css/default.css
index 8e0490d3..213a700e 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;