Lightened and improved styling.

docs/_head-inc

@@ -0,0 +1 @@
+<link href='http://fonts.googleapis.com/css?family=Oxygen' rel='stylesheet' type='text/css'>

docs/_nav-footer

@@ -0,0 +1,26 @@
+<p>
+<a href="introduction.html">Intro</a>&nbsp;&nbsp;&nbsp;
+<b>Chapter:</b>&nbsp;&nbsp;
+<a href="tablet-0-history.html">0. History</a>&nbsp;&nbsp;
+<a href="tablet-1-language-design.html">1. Design</a>&nbsp;&nbsp;
+<a href="tablet-2-basic-syntax.html">2. Basic</a>&nbsp;&nbsp;
+<a href="tablet-3-variables.html">3. Var</a>&nbsp;&nbsp;
+<a href="tablet-4-operators.html">4. Op</a>&nbsp;&nbsp;
+<a href="tablet-5-io.html">5. IO</a>&nbsp;&nbsp;
+<a href="tablet-6-blocks.html">6. Block</a>&nbsp;&nbsp;
+<a href="tablet-7-subroutines.html">7. Sub</a>&nbsp;&nbsp;
+<a href="tablet-8-objects.html">8. OOP</a>&nbsp;&nbsp;
+<a href="tablet-9-regexes.html">9. Regex</a>&nbsp;&nbsp;
+<a href="tablet-10-metaprogramming.html">10. Meta</a>
+<br/>
+<a href="index.html">Overview</a>&nbsp;&nbsp;
+<b>Appendix:</b>&nbsp;&nbsp;
+<a href="appendix-a-index.html">A. Index</a>&nbsp;&nbsp;
+<a href="appendix-b-grouped.html">B. Grouped</a>&nbsp;&nbsp;
+<a href="appendix-c-cookbook.html">C. Cookbook</a>&nbsp;&nbsp;
+<a href="appendix-d-delta.html">D. Delta</a>&nbsp;&nbsp;
+<a href="appendix-e-exciting.html">E. Exciting</a>&nbsp;&nbsp;
+<a href="appendix-f-links.html">F. Links</a>&nbsp;&nbsp;
+<a href="appendix-g-glossary.html">G. Glossary</a>
+</p>
+</div> <!-- main-box -->

docs/_nav → docs/_nav-header

@@ -1,3 +1,4 @@
+<div id="main-box">
 <p>
 <a href="introduction.html">Intro</a>&nbsp;&nbsp;&nbsp;
 <b>Chapter:</b>&nbsp;&nbsp;

docs/build-html.py

@@ -2,8 +2,8 @@
 
 import glob, os.path
 
-pandoc_cmd  = '''pandoc -s --toc -N --css=styles.css -B _nav -A _nav -o %s %s'''
-pandoc_cmd2 = '''pandoc -s          --css=styles.css -B _nav -A _nav -o %s %s'''
+pandoc_cmd  = '''pandoc -s --toc -N --css=styles.css -H _head-inc -B _nav-header -A _nav-footer -o %s %s'''
+pandoc_cmd2 = '''pandoc -s          --css=styles.css -H _head-inc -B _nav-header -A _nav-footer -o %s %s'''
 
 txt_files = glob.glob('*.txt')
 

docs/styles.css

@@ -2,7 +2,17 @@
 
 body {
     background-color: #eee;
-    color: #2a2a2a;
+    color: #333;
+    width: 80%;
+    font-family: 'Oxygen', sans-serif;
+}
+
+#main-box {
+    background-color: #fff;
+    border: 2px solid #ccc;
+    margin: 20px;
+    padding: 20px;
+    line-height: 1.4;
 }
 
 .you-provide {
@@ -19,19 +29,19 @@ a:visited {
 }
 
 table {
-    background-color: #ddd;
+    background-color: #eee;
     padding-left: 2px;
-    border: 2px solid #bbb;
+    border: 2px solid #ccc;
     border-collapse: collapse;
 }
 
 th {
-    background-color: #bbb;
+    background-color: #d4d4d4;
     padding-right: 4px;
 }
 
 tr, td, th {
-    border: 2px solid #bbb;
+    border: 2px solid #ccc;
     padding-left: 4px;
     padding-left: 4px;
 }
@@ -41,18 +51,17 @@ dt {
 }
 
 pre {
-    border: 1px solid #ccc;
-    background-color: #ddd;
+    border: 1px solid #ddd;
+    background-color: #eee;
     padding-left: 6px;
     padding-right: 2px;
-    padding-bottom: 5px;
-    padding-top: 5px;
-    margin-left: 34px;
+    padding-top: 2px;
+    padding-bottom: 2px;
 }
 
 blockquote {
-    background-color: #bcd;
-    border: 1px solid #abc;
+    background-color: #cde;
+    border: 1px solid #bcd;
     padding-top: 2px;
     padding-bottom: 2px;
     padding-left: 16px;
@@ -61,7 +70,6 @@ blockquote {
 
 h1,h2,h3,h4,h5,h6 {
     color: #444;
-    font-family: sans-serif;
 }
 
 h3, h5 {