1 files changed, 4 insertions, 0 deletions
diff --git a/docs/style.css b/docs/style.css
index 8d4222b5..15cf4031 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -24,6 +24,10 @@ h1, h2, h3, h4 {
 a:link.header, a:visited.header {
   text-decoration:none; color:inherit;
 }
+a.fulldoc {
+  float: right;
+  margin-top: -2.7em;
+}
 .header { position:relative; }
 .header:before {
   position: absolute;