21 files changed, 121 insertions, 121 deletions
diff --git a/docs/android-build-library.html b/docs/android-build-library.html
index ae6cf635..f8a0e1c7 100644
--- a/docs/android-build-library.html
+++ b/docs/android-build-library.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/android-build-viewer.html b/docs/android-build-viewer.html
index 1ee75740..c13f4ab8 100644
--- a/docs/android-build-viewer.html
+++ b/docs/android-build-viewer.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/building.html b/docs/building.html
index 7dc435b4..8970e542 100644
--- a/docs/building.html
+++ b/docs/building.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/coding-overview.html b/docs/coding-overview.html
index 3ab1fff1..0e148c03 100644
--- a/docs/coding-overview.html
+++ b/docs/coding-overview.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/coding-progressive.html b/docs/coding-progressive.html
index fb9ea78d..395d85d8 100644
--- a/docs/coding-progressive.html
+++ b/docs/coding-progressive.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/coding-style.html b/docs/coding-style.html
index 66eefd39..39b56d77 100644
--- a/docs/coding-style.html
+++ b/docs/coding-style.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/index.html b/docs/index.html
index 4b600be5..afcff2e8 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mupdf-gl.html b/docs/manual-mupdf-gl.html
index 82e37a12..514c737a 100644
--- a/docs/manual-mupdf-gl.html
+++ b/docs/manual-mupdf-gl.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mutool-clean.html b/docs/manual-mutool-clean.html
index bc7989a1..87a814d3 100644
--- a/docs/manual-mutool-clean.html
+++ b/docs/manual-mutool-clean.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mutool-convert.html b/docs/manual-mutool-convert.html
index 692d83d0..06a3fe06 100644
--- a/docs/manual-mutool-convert.html
+++ b/docs/manual-mutool-convert.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mutool-create.html b/docs/manual-mutool-create.html
index 0bb29305..f51e6a8b 100644
--- a/docs/manual-mutool-create.html
+++ b/docs/manual-mutool-create.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mutool-draw.html b/docs/manual-mutool-draw.html
index bdd95170..d9457eb7 100644
--- a/docs/manual-mutool-draw.html
+++ b/docs/manual-mutool-draw.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mutool-extract.html b/docs/manual-mutool-extract.html
index dff50e7e..907b726a 100644
--- a/docs/manual-mutool-extract.html
+++ b/docs/manual-mutool-extract.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mutool-merge.html b/docs/manual-mutool-merge.html
index 1c4f3edc..2b033e2e 100644
--- a/docs/manual-mutool-merge.html
+++ b/docs/manual-mutool-merge.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mutool-portfolio.html b/docs/manual-mutool-portfolio.html
index d36dd898..0505c105 100644
--- a/docs/manual-mutool-portfolio.html
+++ b/docs/manual-mutool-portfolio.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mutool-run.html b/docs/manual-mutool-run.html
index 59bb8cc1..a592d3f5 100644
--- a/docs/manual-mutool-run.html
+++ b/docs/manual-mutool-run.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mutool-show.html b/docs/manual-mutool-show.html
index 2b5b1ddf..e9568fed 100644
--- a/docs/manual-mutool-show.html
+++ b/docs/manual-mutool-show.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/manual-mutool-trace.html b/docs/manual-mutool-trace.html
index 05e324c1..d3fbe7cb 100644
--- a/docs/manual-mutool-trace.html
+++ b/docs/manual-mutool-trace.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/style.css b/docs/style.css
index a11c4915..c2b2322d 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -18,7 +18,7 @@ h1 {
 	color: white;
 }
 nav {
-	padding: 1rem 2rem;
+	padding: 0.75rem 2rem;
 	background-color: #ddd;
 }
 nav a { color: #303030; padding-right: 2rem; }
diff --git a/docs/template.html b/docs/template.html
index 57891821..7d6289fd 100644
--- a/docs/template.html
+++ b/docs/template.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>
diff --git a/docs/thirdparty.html b/docs/thirdparty.html
index fa6644a3..2e6d8c70 100644
--- a/docs/thirdparty.html
+++ b/docs/thirdparty.html
@@ -13,12 +13,12 @@
 </header>
 
 <nav>
-<a href="http://mupdf.com/index.html">ABOUT</a>
-<a href="http://mupdf.com/news.html">NEWS</a>
-<a href="index.html">DOCUMENTATION</a>
-<a href="http://mupdf.com/downloads/">DOWNLOAD</a>
-<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">SOURCE</a>
-<a href="https://bugs.ghostscript.com/">BUGS</a>
+<a href="http://mupdf.com/index.html">About</a>
+<a href="http://mupdf.com/news.html">News</a>
+<a href="index.html">Documentation</a>
+<a href="http://mupdf.com/downloads/">Downloads</a>
+<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>
+<a href="https://bugs.ghostscript.com/">Bugs</a>
 </nav>
 
 <article>