Move documentation header down by hard-coding docstart to be taller.

abernix · abernix · commit 60eec9d687d3 · 2018-06-15T20:18:15.000+03:00
This is more difficult than it should be because the `docstart` has to have
a fixed height because its children take up no actual height within it.
diff --git a/docs/assets/theme-colors.less b/docs/assets/theme-colors.less
@@ -2,7 +2,7 @@
 
 .docstart {
   width: 100%;
-  height: 345px;
+  height: 390px;
   //border-right: 0px solid #22A699;
   //border:0px solid #22A699;
 }
