Fix GitHub corner in the docs to the top

docs/assets/style.css

@@ -103,3 +103,7 @@
       display: none;
   }
 }
+
+.github-corner {
+  position: fixed;
+}