Add customary 'fork me on github' banner to website

1 files changed, 9 insertions, 8 deletions

diff --git a/doc/pipe.css b/doc/pipe.css
index 5c1ce79b0..286c1a6fc 100644
--- a/doc/pipe.css
+++ b/doc/pipe.css
@@ -99,10 +99,19 @@ h1 a, h2 a, h3 a, h4 a
   border-radius: 4px;
   margin: 0 1px;
   color: #46483e;
+  background-color: #9a9f8b;
+}
+
+#intro .forkme {
+  position: absolute;
+  top: 0;
+  right: 0;
+  border: 0;
 }
 
 #intro .button:hover {
   text-decoration: none;
+  background-color: #aab293;
 }
 
 #intro #downloadbutton {
@@ -113,14 +122,6 @@ h1 a, h2 a, h3 a, h4 a
   background-color: #73a53e;
 }
 
-#intro #docsbutton {
-  background-color: #9a9f8b;
-}
-
-#intro #docsbutton:hover {
-  background-color: #aab293;
-}
-
 #quotes {
     text-align: center;
     width: 100%;