From eee85cd8aaaacd6e38271841a6eafe27a0c9d6ec Mon Sep 17 00:00:00 2001
From: Elliotte Rusty Harold <elharo@users.noreply.github.com>
Date: Mon, 28 Oct 2019 13:48:06 -0400
Subject: [PATCH] docs: remove theme details (#859)

Where the page is hosted is not something readers want to know
---
 docs/_layouts/default.html | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index b3e7d30e6..e83dfcd2a 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -35,9 +35,6 @@ <h1 class="header">{{ site.title | default: site.github.repository_name }}</h1>
         {{ content }}
       </section>
 
-      <footer>
-        <p><small>Hosted on <a href="https://pages.github.com">GitHub Pages</a> using the Dinky theme</small></p>
-      </footer>
     </div>
     <!--[if !IE]><script>fixScale(document);</script><![endif]-->
     {% if site.google_analytics %}
@@ -51,4 +48,4 @@ <h1 class="header">{{ site.title | default: site.github.repository_name }}</h1>
       </script>
     {% endif %}
   </body>
-</html>
\ No newline at end of file
+</html>