From 12d5f470f06b82a34ceeec3989e10e2ff24387e5 Mon Sep 17 00:00:00 2001
From: John Kerl <kerl.john.r@gmail.com>
Date: Wed, 15 Jan 2020 22:05:52 -0500
Subject: [PATCH] much improved bold/normal UX for navbar

---
 doc/10-min.html               | 87 +++++----------------------------
 doc/build.html                | 87 +++++----------------------------
 doc/contact.html              | 91 +++++------------------------------
 doc/cookbook.html             | 87 +++++----------------------------
 doc/cookbook2.html            | 87 +++++----------------------------
 doc/cookbook3.html            | 87 +++++----------------------------
 doc/css2/miller.css           |  9 ++++
 doc/data-examples.html        | 87 +++++----------------------------
 doc/data-sharing.html         | 87 +++++----------------------------
 doc/etymology.html            | 87 +++++----------------------------
 doc/faq.html                  | 87 +++++----------------------------
 doc/feature-comparison.html   | 87 +++++----------------------------
 doc/file-formats.html         | 87 +++++----------------------------
 doc/index.html                | 87 +++++----------------------------
 doc/internationalization.html | 87 +++++----------------------------
 doc/js/jko-toggler.js         | 18 +++----
 doc/manpage.html              | 87 +++++----------------------------
 doc/originality.html          | 87 +++++----------------------------
 doc/performance.html          | 87 +++++----------------------------
 doc/poki                      | 65 ++++++++++++-------------
 doc/record-heterogeneity.html | 87 +++++----------------------------
 doc/reference-dsl.html        | 87 +++++----------------------------
 doc/reference-verbs.html      | 87 +++++----------------------------
 doc/reference.html            | 87 +++++----------------------------
 doc/release-docs.html         | 87 +++++----------------------------
 doc/template.html             |  5 --
 doc/why.html                  | 87 +++++----------------------------
 doc/whyc-details.html         | 87 +++++----------------------------
 doc/whyc.html                 | 87 +++++----------------------------
 29 files changed, 348 insertions(+), 1928 deletions(-)

diff --git a/doc/10-min.html b/doc/10-min.html
index ff3be7321..90c48ca3c 100644
--- a/doc/10-min.html
+++ b/doc/10-min.html
@@ -37,47 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html"><b>Overview</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="index.html">About</a>
 <br/><a href="10-min.html"><b>10-minute intro</b></a>
 <br/><a href="file-formats.html">File formats</a>
@@ -85,35 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
 <br/><a href="internationalization.html">Internationalization</a>
 </div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -1196,11 +1138,6 @@ href="cookbook.html">cookbook</a> for more tips.
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/build.html b/doc/build.html
index 6078645cb..5bc2a1d82 100644
--- a/doc/build.html
+++ b/doc/build.html
@@ -37,63 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html"><b>Reference</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="reference.html">Main reference</a>
 <br/><a href="reference-verbs.html">Verbs reference</a>
 <br/><a href="reference-dsl.html">DSL reference</a>
@@ -101,19 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="release-docs.html">Documents by release</a>
 <br/><a href="build.html"><b>Installation</b></a>
 </div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -551,11 +493,6 @@ git push -u origin miller-3.4.0
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/contact.html b/doc/contact.html
index 38319c03b..2a2263042 100644
--- a/doc/contact.html
+++ b/doc/contact.html
@@ -37,83 +37,21 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html"><b>Repository</b></a>
+&nbsp;
+<br/>
 <br/><a href="contact.html"><b>Contact information</b></a>
 <br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
 </div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -136,11 +74,6 @@ pageTracker._trackPageview();
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/cookbook.html b/doc/cookbook.html
index 8c823dba5..b7872658f 100644
--- a/doc/cookbook.html
+++ b/doc/cookbook.html
@@ -37,55 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html"><b>Using</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="faq.html">FAQ</a>
 <br/><a href="data-sharing.html">Mixing with other languages</a>
 <br/><a href="cookbook.html"><b>Cookbook part 1</b></a>
@@ -93,27 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="cookbook3.html">Cookbook part 3</a>
 <br/><a href="data-examples.html">Data-diving examples</a>
 </div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -1721,11 +1663,6 @@ i  o      fcount seconds_delta
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/cookbook2.html b/doc/cookbook2.html
index 101569278..63ef975ea 100644
--- a/doc/cookbook2.html
+++ b/doc/cookbook2.html
@@ -37,55 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html"><b>Using</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="faq.html">FAQ</a>
 <br/><a href="data-sharing.html">Mixing with other languages</a>
 <br/><a href="cookbook.html">Cookbook part 1</a>
@@ -93,27 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="cookbook3.html">Cookbook part 3</a>
 <br/><a href="data-examples.html">Data-diving examples</a>
 </div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -767,11 +709,6 @@ echo "rcorn=-1.755350,icorn=+0.014230,side=0.000020,maxits=10000,iheight=$iheigh
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/cookbook3.html b/doc/cookbook3.html
index d0817da2d..9848dad60 100644
--- a/doc/cookbook3.html
+++ b/doc/cookbook3.html
@@ -37,55 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html"><b>Using</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="faq.html">FAQ</a>
 <br/><a href="data-sharing.html">Mixing with other languages</a>
 <br/><a href="cookbook.html">Cookbook part 1</a>
@@ -93,27 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="cookbook3.html"><b>Cookbook part 3</b></a>
 <br/><a href="data-examples.html">Data-diving examples</a>
 </div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -578,11 +520,6 @@ wye pan 5 0.5732889198020006  0.8636244699032729  0.391064
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/css2/miller.css b/doc/css2/miller.css
index 42c7be1a5..c83521ccd 100644
--- a/doc/css2/miller.css
+++ b/doc/css2/miller.css
@@ -99,3 +99,12 @@ pre {
   padding-left: 15px;
   padding-right: 15px;
 }
+
+.poki-navbar-element {
+  font-weight: bold;
+  color: maroon;
+  border: 1px solid #aaaaaa;
+  background: #ffffff;
+  padding: 3px;
+  text-decoration: none;
+}
diff --git a/doc/data-examples.html b/doc/data-examples.html
index ad9a3c3aa..65166bc51 100644
--- a/doc/data-examples.html
+++ b/doc/data-examples.html
@@ -37,55 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html"><b>Using</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="faq.html">FAQ</a>
 <br/><a href="data-sharing.html">Mixing with other languages</a>
 <br/><a href="cookbook.html">Cookbook part 1</a>
@@ -93,27 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="cookbook3.html">Cookbook part 3</a>
 <br/><a href="data-examples.html"><b>Data-diving examples</b></a>
 </div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -402,11 +344,6 @@ yellow   circle -0.064773  0.073695
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/data-sharing.html b/doc/data-sharing.html
index 82d1e46e8..001f87f8c 100644
--- a/doc/data-sharing.html
+++ b/doc/data-sharing.html
@@ -37,55 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html"><b>Using</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="faq.html">FAQ</a>
 <br/><a href="data-sharing.html"><b>Mixing with other languages</b></a>
 <br/><a href="cookbook.html">Cookbook part 1</a>
@@ -93,27 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="cookbook3.html">Cookbook part 3</a>
 <br/><a href="data-examples.html">Data-diving examples</a>
 </div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -522,11 +464,6 @@ wye pan 5 0.5732889198020006  0.8636244699032729  1568774318.518730 0.000003
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/etymology.html b/doc/etymology.html
index 4b660665a..6e925aacf 100644
--- a/doc/etymology.html
+++ b/doc/etymology.html
@@ -37,71 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html"><b>Background</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="why.html">Why?</a>
 <br/><a href="whyc.html">Why C?</a>
 <br/><a href="whyc-details.html">Why C: details</a>
@@ -109,11 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="originality.html">How original is Miller?</a>
 <br/><a href="performance.html">Performance</a>
 </div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -139,11 +81,6 @@ classic product of the 1970s: the
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/faq.html b/doc/faq.html
index cdacecd31..225854c5c 100644
--- a/doc/faq.html
+++ b/doc/faq.html
@@ -37,55 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html"><b>Using</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="faq.html"><b>FAQ</b></a>
 <br/><a href="data-sharing.html">Mixing with other languages</a>
 <br/><a href="cookbook.html">Cookbook part 1</a>
@@ -93,27 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="cookbook3.html">Cookbook part 3</a>
 <br/><a href="data-examples.html">Data-diving examples</a>
 </div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -1118,11 +1060,6 @@ conversion.
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/feature-comparison.html b/doc/feature-comparison.html
index b989db3e5..9891846bb 100644
--- a/doc/feature-comparison.html
+++ b/doc/feature-comparison.html
@@ -37,47 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html"><b>Overview</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="index.html">About</a>
 <br/><a href="10-min.html">10-minute intro</a>
 <br/><a href="file-formats.html">File formats</a>
@@ -85,35 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
 <br/><a href="internationalization.html">Internationalization</a>
 </div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -248,11 +190,6 @@ subcommands <code>cat</code>, <code>cut</code>, <code>head</code>, <code>sort</c
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/file-formats.html b/doc/file-formats.html
index 043c1c2da..650ae624b 100644
--- a/doc/file-formats.html
+++ b/doc/file-formats.html
@@ -37,47 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html"><b>Overview</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="index.html">About</a>
 <br/><a href="10-min.html">10-minute intro</a>
 <br/><a href="file-formats.html"><b>File formats</b></a>
@@ -85,35 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
 <br/><a href="internationalization.html">Internationalization</a>
 </div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -1041,11 +983,6 @@ orange 123.45
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/index.html b/doc/index.html
index 27f358e0d..485e2e1cf 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -37,47 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html"><b>Overview</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="index.html"><b>About</b></a>
 <br/><a href="10-min.html">10-minute intro</a>
 <br/><a href="file-formats.html">File formats</a>
@@ -85,35 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
 <br/><a href="internationalization.html">Internationalization</a>
 </div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -317,11 +259,6 @@ machine, and expect it to work.
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/internationalization.html b/doc/internationalization.html
index 4b023c7a6..f635cd332 100644
--- a/doc/internationalization.html
+++ b/doc/internationalization.html
@@ -37,47 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html"><b>Overview</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="index.html">About</a>
 <br/><a href="10-min.html">10-minute intro</a>
 <br/><a href="file-formats.html">File formats</a>
@@ -85,35 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
 <br/><a href="internationalization.html"><b>Internationalization</b></a>
 </div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -149,11 +91,6 @@ that matter).
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/js/jko-toggler.js b/doc/js/jko-toggler.js
index 9b85b84ac..fd4e5529f 100644
--- a/doc/js/jko-toggler.js
+++ b/doc/js/jko-toggler.js
@@ -10,7 +10,7 @@ class JKOToggler {
   // PUBLIC METHODS
 
   // Array of toggleable div names, without leading '#'
-  constructor(toggleableDivPrefix, buttonSelectColor, buttonDeselectColor) {
+  constructor(toggleableDivPrefix, buttonSelectFontWeight, buttonDeselectFontWeight) {
     this._allDivNames = [];
     const divs = document.querySelectorAll('div');
     for (let div of divs) {
@@ -20,8 +20,8 @@ class JKOToggler {
       }
     }
 
-    this._buttonSelectColor = buttonSelectColor;
-    this._buttonDeselectColor = buttonDeselectColor;
+    this._buttonSelectFontWeight = buttonSelectFontWeight;
+    this._buttonDeselectFontWeight = buttonDeselectFontWeight;
     this._allExpanded = false;
   }
 
@@ -113,15 +113,15 @@ class JKOToggler {
 	};
 
 	_makeButtonSelected = (button) => {
-		button.style.borderColor = this._buttonSelectColor;
-		button.style.borderWidth = 'thin';
-		button.style.borderStyle = 'solid';
+		button.style.fontWeight = 'bold';
+		//button.style.borderWidth = 'thin';
+		//button.style.borderStyle = 'solid';
 	};
 
 	_makeButtonDeselected = (button) => {
-		button.style.borderColor = this._buttonDeselectColor;
-		button.style.borderWidth = 'none';
-		button.style.borderStyle = 'none';
+		button.style.fontWeight = 'normal';
+		//button.style.borderWidth = 'none';
+		//button.style.borderStyle = 'none';
 	};
 
 //  window.onload = function() {
diff --git a/doc/manpage.html b/doc/manpage.html
index 52e70b6b8..47582e673 100644
--- a/doc/manpage.html
+++ b/doc/manpage.html
@@ -37,63 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html"><b>Reference</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="reference.html">Main reference</a>
 <br/><a href="reference-verbs.html">Verbs reference</a>
 <br/><a href="reference-dsl.html">DSL reference</a>
@@ -101,19 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="release-docs.html">Documents by release</a>
 <br/><a href="build.html">Installation</a>
 </div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -2441,11 +2383,6 @@ SEE ALSO
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/originality.html b/doc/originality.html
index 71612b8b5..2d91ec0fc 100644
--- a/doc/originality.html
+++ b/doc/originality.html
@@ -37,71 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html"><b>Background</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="why.html">Why?</a>
 <br/><a href="whyc.html">Why C?</a>
 <br/><a href="whyc-details.html">Why C: details</a>
@@ -109,11 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="originality.html"><b>How original is Miller?</b></a>
 <br/><a href="performance.html">Performance</a>
 </div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -228,11 +170,6 @@ with the raw speed of the Unix toolkit. Miller does precisely that.
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/performance.html b/doc/performance.html
index c426be173..62b5ab1a0 100644
--- a/doc/performance.html
+++ b/doc/performance.html
@@ -37,71 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html"><b>Background</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="why.html">Why?</a>
 <br/><a href="whyc.html">Why C?</a>
 <br/><a href="whyc-details.html">Why C: details</a>
@@ -109,11 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="originality.html">How original is Miller?</a>
 <br/><a href="performance.html"><b>Performance</b></a>
 </div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -182,11 +124,6 @@ in <code>grep</code>, <code>sed</code>, etc.
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/poki b/doc/poki
index 2dbb6fb74..af80b223f 100755
--- a/doc/poki
+++ b/doc/poki
@@ -155,51 +155,46 @@ def generate_navbar(overall_config, section_config, page_config, output_html_nam
   template_file_name = overall_config.fetch('template_file_name')
   output_handle.puts "<!-- NAVBAR GENERATED FROM #{template_file_name} BY #{$us} -->"
 
+  output_handle.puts("<br/>");
   for other_section_config in overall_config.fetch('sections')
     other_section_internal_name = other_section_config.fetch('internal_name')
     other_section_external_name = other_section_config.fetch('external_name')
-    font_weight = 'normal'
+    bs = ''
+    be = ''
     if (other_section_internal_name == section_config.fetch('internal_name'))
-      font_weight = 'bold'
+      bs = '<b>'
+      be = '</b>'
     end
-    output_handle.puts("<button");
-    output_handle.puts("  style=\"font-weight:#{font_weight};font-size:100%;color:maroon;border:0\"");
-    output_handle.puts("  padding=0");
-    output_handle.puts("  onclick=\"navbarToggler.expandUniquely('navbar_section_toggle_#{other_section_internal_name}');\"");
-    output_handle.puts("  href=\"javascript:;\"");
-    output_handle.puts("  >");
-    output_handle.puts("    #{other_section_external_name}");
-    output_handle.puts("</button>");
+
+    other_section_pages_config = other_section_config.fetch('pages')
+    top_page_for_section = other_section_pages_config[0]
+    top_page_for_section_file_name = top_page_for_section.fetch('file_name')
+
+    # xxx needs css for no underlining ...
+    output_handle.puts("<a class=\"poki-navbar-element\" href=\"#{top_page_for_section_file_name}\">#{bs}#{other_section_external_name}#{be}</a>");
+    output_handle.puts("&nbsp;");
   end
 
-  for other_section_config in overall_config.fetch('sections')
-    other_section_internal_name = other_section_config.fetch('internal_name')
-    other_section_external_name = other_section_config.fetch('external_name')
-    display = 'none'
-    if (other_section_internal_name == section_config.fetch('internal_name'))
-      display = 'block'
-    end
-    output_handle.puts("<div id=\"navbar_section_toggle_#{other_section_internal_name}\" style=\"display: #{display};text-align: left\">")
-    for other_page_config in other_section_config.fetch('pages')
-      other_page_file_name = other_page_config['file_name'] # nullable
-      other_page_link_name = other_page_config['link'] # nullable
-      other_page_external_name = other_page_config.fetch('external_name')
+  output_handle.puts("<br/>");
 
-      if other_page_link_name != nil
-        url = other_page_link_name.sub(/^ext:/, '')
-        output_handle.puts "<br/><a href=\"#{url}\">#{other_page_link_name}</a>"
-      else
-        bs = ""
-        be = ""
-        if File.basename(output_html_name) == other_page_file_name
-          # Bold the current file in the navbar.
-          bs = "<b>"
-          be = "</b>"
-        end
-        output_handle.puts "<br/><a href=\"#{other_page_file_name}\">#{bs}#{other_page_external_name}#{be}</a>"
+  for other_page_config in section_config.fetch('pages')
+    other_page_file_name = other_page_config['file_name'] # nullable
+    other_page_link_name = other_page_config['link'] # nullable
+    other_page_external_name = other_page_config.fetch('external_name')
+
+    if other_page_link_name != nil
+      url = other_page_link_name.sub(/^ext:/, '')
+      output_handle.puts "<br/><a href=\"#{url}\">#{other_page_link_name}</a>"
+    else
+      bs = ""
+      be = ""
+      if File.basename(output_html_name) == other_page_file_name
+        # Bold the current file in the navbar.
+        bs = "<b>"
+        be = "</b>"
       end
+      output_handle.puts "<br/><a href=\"#{other_page_file_name}\">#{bs}#{other_page_external_name}#{be}</a>"
     end
-    output_handle.puts("</div>")
   end
 end
 
diff --git a/doc/record-heterogeneity.html b/doc/record-heterogeneity.html
index 9226d81d0..7322f6ce8 100644
--- a/doc/record-heterogeneity.html
+++ b/doc/record-heterogeneity.html
@@ -37,47 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html"><b>Overview</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="index.html">About</a>
 <br/><a href="10-min.html">10-minute intro</a>
 <br/><a href="file-formats.html">File formats</a>
@@ -85,35 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="record-heterogeneity.html"><b>Record-hetrogeneity</b></a>
 <br/><a href="internationalization.html">Internationalization</a>
 </div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -396,11 +338,6 @@ count=600
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/reference-dsl.html b/doc/reference-dsl.html
index 16685ba6a..3e96ac15d 100644
--- a/doc/reference-dsl.html
+++ b/doc/reference-dsl.html
@@ -37,63 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html"><b>Reference</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="reference.html">Main reference</a>
 <br/><a href="reference-verbs.html">Verbs reference</a>
 <br/><a href="reference-dsl.html"><b>DSL reference</b></a>
@@ -101,19 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="release-docs.html">Documents by release</a>
 <br/><a href="build.html">Installation</a>
 </div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -6286,11 +6228,6 @@ sweet spot which is speed plus simplicity.
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/reference-verbs.html b/doc/reference-verbs.html
index b0ff3cb55..d6c88bcb1 100644
--- a/doc/reference-verbs.html
+++ b/doc/reference-verbs.html
@@ -37,63 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html"><b>Reference</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="reference.html">Main reference</a>
 <br/><a href="reference-verbs.html"><b>Verbs reference</b></a>
 <br/><a href="reference-dsl.html">DSL reference</a>
@@ -101,19 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="release-docs.html">Documents by release</a>
 <br/><a href="build.html">Installation</a>
 </div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -4328,11 +4270,6 @@ missing missing 1       missing missing 2
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/reference.html b/doc/reference.html
index 8ca08384f..34f75d508 100644
--- a/doc/reference.html
+++ b/doc/reference.html
@@ -37,63 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html"><b>Reference</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="reference.html"><b>Main reference</b></a>
 <br/><a href="reference-verbs.html">Verbs reference</a>
 <br/><a href="reference-dsl.html">DSL reference</a>
@@ -101,19 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="release-docs.html">Documents by release</a>
 <br/><a href="build.html">Installation</a>
 </div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -1700,11 +1642,6 @@ which is the same as:
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/release-docs.html b/doc/release-docs.html
index e46f2907f..c739d4384 100644
--- a/doc/release-docs.html
+++ b/doc/release-docs.html
@@ -37,63 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html"><b>Reference</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html">Background</a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="reference.html">Main reference</a>
 <br/><a href="reference-verbs.html">Verbs reference</a>
 <br/><a href="reference-dsl.html">DSL reference</a>
@@ -101,19 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="release-docs.html"><b>Documents by release</b></a>
 <br/><a href="build.html">Installation</a>
 </div>
-<div id="navbar_section_toggle_background" style="display: none;text-align: left">
-<br/><a href="why.html">Why?</a>
-<br/><a href="whyc.html">Why C?</a>
-<br/><a href="whyc-details.html">Why C: details</a>
-<br/><a href="etymology.html">Why call it Miller?</a>
-<br/><a href="originality.html">How original is Miller?</a>
-<br/><a href="performance.html">Performance</a>
-</div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -195,11 +137,6 @@ The following are full docsets as of the specified release:
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/template.html b/doc/template.html
index 41450bdc9..391dee0b0 100644
--- a/doc/template.html
+++ b/doc/template.html
@@ -46,11 +46,6 @@ POKI_PUT_BODY_HERE
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/why.html b/doc/why.html
index ef23093ce..7b20b04f5 100644
--- a/doc/why.html
+++ b/doc/why.html
@@ -37,71 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html"><b>Background</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="why.html"><b>Why?</b></a>
 <br/><a href="whyc.html">Why C?</a>
 <br/><a href="whyc-details.html">Why C: details</a>
@@ -109,11 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="originality.html">How original is Miller?</a>
 <br/><a href="performance.html">Performance</a>
 </div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -322,11 +264,6 @@ input from people who use Miller on where to go next.
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/whyc-details.html b/doc/whyc-details.html
index b2fb7b81e..034e4ef02 100644
--- a/doc/whyc-details.html
+++ b/doc/whyc-details.html
@@ -37,71 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html"><b>Background</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="why.html">Why?</a>
 <br/><a href="whyc.html">Why C?</a>
 <br/><a href="whyc-details.html"><b>Why C: details</b></a>
@@ -109,11 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="originality.html">How original is Miller?</a>
 <br/><a href="performance.html">Performance</a>
 </div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -931,11 +873,6 @@ power management:
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',
diff --git a/doc/whyc.html b/doc/whyc.html
index 102540405..85af3b2a3 100644
--- a/doc/whyc.html
+++ b/doc/whyc.html
@@ -37,71 +37,18 @@ pageTracker._trackPageview();
   <center><titleinbody>Miller</titleinbody></center>
   
 <!-- NAVBAR GENERATED FROM template.html BY poki -->
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_overview');"
-  href="javascript:;"
-  >
-    Overview
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_using');"
-  href="javascript:;"
-  >
-    Using
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_reference');"
-  href="javascript:;"
-  >
-    Reference
-</button>
-<button
-  style="font-weight:bold;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_background');"
-  href="javascript:;"
-  >
-    Background
-</button>
-<button
-  style="font-weight:normal;font-size:100%;color:maroon;border:0"
-  padding=0
-  onclick="navbarToggler.expandUniquely('navbar_section_toggle_repository');"
-  href="javascript:;"
-  >
-    Repository
-</button>
-<div id="navbar_section_toggle_overview" style="display: none;text-align: left">
-<br/><a href="index.html">About</a>
-<br/><a href="10-min.html">10-minute intro</a>
-<br/><a href="file-formats.html">File formats</a>
-<br/><a href="feature-comparison.html">Unix-toolkit context</a>
-<br/><a href="record-heterogeneity.html">Record-hetrogeneity</a>
-<br/><a href="internationalization.html">Internationalization</a>
-</div>
-<div id="navbar_section_toggle_using" style="display: none;text-align: left">
-<br/><a href="faq.html">FAQ</a>
-<br/><a href="data-sharing.html">Mixing with other languages</a>
-<br/><a href="cookbook.html">Cookbook part 1</a>
-<br/><a href="cookbook2.html">Cookbook part 2</a>
-<br/><a href="cookbook3.html">Cookbook part 3</a>
-<br/><a href="data-examples.html">Data-diving examples</a>
-</div>
-<div id="navbar_section_toggle_reference" style="display: none;text-align: left">
-<br/><a href="reference.html">Main reference</a>
-<br/><a href="reference-verbs.html">Verbs reference</a>
-<br/><a href="reference-dsl.html">DSL reference</a>
-<br/><a href="manpage.html">Manpage</a>
-<br/><a href="release-docs.html">Documents by release</a>
-<br/><a href="build.html">Installation</a>
-</div>
-<div id="navbar_section_toggle_background" style="display: block;text-align: left">
+<br/>
+<a class="poki-navbar-element" href="index.html">Overview</a>
+&nbsp;
+<a class="poki-navbar-element" href="faq.html">Using</a>
+&nbsp;
+<a class="poki-navbar-element" href="reference.html">Reference</a>
+&nbsp;
+<a class="poki-navbar-element" href="why.html"><b>Background</b></a>
+&nbsp;
+<a class="poki-navbar-element" href="contact.html">Repository</a>
+&nbsp;
+<br/>
 <br/><a href="why.html">Why?</a>
 <br/><a href="whyc.html"><b>Why C?</b></a>
 <br/><a href="whyc-details.html">Why C: details</a>
@@ -109,11 +56,6 @@ pageTracker._trackPageview();
 <br/><a href="originality.html">How original is Miller?</a>
 <br/><a href="performance.html">Performance</a>
 </div>
-<div id="navbar_section_toggle_repository" style="display: none;text-align: left">
-<br/><a href="contact.html">Contact information</a>
-<br/><a href="https://github.com/johnkerl/miller">https://github.com/johnkerl/miller</a>
-</div>
-</div>
 
 <!-- page body -->
 <p/>
@@ -369,11 +311,6 @@ reader_t* reader_csv_alloc(...) {
 <script type="text/javascript">
   // Put this at the bottom of the page since its constructor scans the
   // document's div tags to find the toggleables.
-  const navbarToggler = new JKOToggler(
-    "navbar_section_toggle_",
-    'maroon',
-    'maroon',
-  );
   const bodyToggler = new JKOToggler(
     "body_section_toggle_",
     'maroon',