render docs

10 years ago · b9613b57f0
parent a4a49bb275
commit b9613b57f0
13 changed files with 14 additions and 13 deletions
--- a/doc/Backstory.html
+++ b/doc/Backstory.html
--- a/doc/Decode.html
+++ b/doc/Decode.html
--- a/doc/Pagetree.html
+++ b/doc/Pagetree.html
--- a/doc/big-picture.html
+++ b/doc/big-picture.html
--- a/doc/dashboard.png
+++ b/doc/dashboard.png
--- a/doc/doc-index.html
+++ b/doc/doc-index.html
--- a/doc/first-tutorial.html
+++ b/doc/first-tutorial.html
--- a/doc/index.html
+++ b/doc/index.html
--- a/doc/mb.css
+++ b/doc/mb.css
@ -3,6 +3,7 @@
 .noskip .refcolumn {
    background: #998;
    color: white;
+    padding-top: 0.6rem;
 }

 .noskip .refcontent p {
--- a/doc/quick-tour.html
+++ b/doc/quick-tour.html
--- a/doc/reader.html
+++ b/doc/reader.html
--- a/doc/second-tutorial.html
+++ b/doc/second-tutorial.html
--- a/doc/third-tutorial.html
+++ b/doc/third-tutorial.html