Isolate man pages and build HTML versions with mandoc if possible

The HTML versions are mainly useful for generating the online documentation as
part of a CI pipeline.  They are installed anyway, which is redundant for
systems with a man page reader, but handy elsewhere.

1 files changed, 251 insertions, 0 deletions

diff --git a/doc/man/mandoc.css b/doc/man/mandoc.css
new file mode 100644
index 00000000..cebb50bf
--- /dev/null
+++ b/doc/man/mandoc.css
@@ -0,0 +1,251 @@
+/* Generic page style */
+
+/*
+  Smaller sizes: 0.236em 0.271em 0.382em 0.438em 0.618em 0.708em
+  Larger sizes:  1.146em 1.618em 1.854em 2.618em 3em     4.236em
+*/
+
+html {
+  margin: 0 1.618em;
+  background: #FFF;
+  color: #000;
+}
+
+body {
+  font-style: normal;
+  line-height: 1.618em;
+  margin: 0 auto auto;
+  padding: 0;
+  max-width: 60em;
+  font-family: "SF Pro Text", Verdana, "DejaVu Sans", sans-serif;
+  text-rendering: optimizeLegibility;
+}
+
+h1 {
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  font-size: 1.854em;
+  font-weight: 600;
+  line-height: 114.6%;
+  margin: 1.146em 0;
+}
+
+a {
+  text-decoration: none;
+}
+
+h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
+  color: #222;
+}
+
+a:hover {
+  text-decoration: underline;
+}
+
+h1 a:link, h2 a:link, h3 a:link, h4 a:link, h5 a:link, h6 a:link {
+  color: #222;
+}
+
+h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited {
+  color: #222;
+}
+
+pre, tt, code {
+  overflow: auto;
+  font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
+  -epub-hyphens: none;
+  -moz-hyphens: none;
+  -ms-hyphens: none;
+  -webkit-hyphens: none;
+  hyphens: none;
+}
+
+ul, ol, dl {
+  margin: 0;
+  padding: 0;
+}
+
+ul {
+  padding: 0;
+  hyphens: auto;
+}
+
+dt {
+  font-weight: 600;
+  padding: 0.618em 0 0;
+}
+
+dd {
+  margin: 0 0 0 2.618em;
+  hyphens: auto;
+}
+
+dd > ul:only-child, dd > ol:only-child {
+  padding-left: 0;
+}
+
+li {
+  margin-left: 2.618em;
+}
+
+dt:empty {
+  margin: 0;
+  display: none;
+}
+
+dd:empty {
+  margin: 0;
+  display: none;
+}
+
+dt:blank {
+  margin: 0;
+  display: none;
+}
+
+dd:blank {
+  margin: 0;
+  display: none;
+}
+
+/* Media-specific style */
+
+/* Color links on screens */
+@media screen {
+  a {
+    color: #546E00;
+  }
+}
+
+@media print {
+  body {
+    color: #000;
+  }
+
+  a, h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
+    color: #000;
+  }
+
+  a:link {
+    color: #000;
+  }
+
+  a:visited {
+    color: #000;
+  }
+}
+
+/* Mandoc specific style */
+
+table.head {
+  font-size: 0.708em;
+  margin: 0.438em 0 1.854em;
+  width: 100%;
+}
+
+table.foot {
+  font-size: 0.708em;
+  margin: 2.618em 0 0.438em;
+  width: 100%;
+}
+
+td.head-rtitle, td.foot-os {
+  text-align: right;
+}
+
+td.head-vol {
+  text-align: center;
+}
+
+div.Pp {
+  margin: 1ex 0;
+}
+
+a.permalink {
+  color: #222;
+}
+
+div.Nd, div.Bf, div.Op {
+  display: inline;
+}
+
+span.Pa, span.Ad {
+  font-style: italic;
+}
+
+span.Ms {
+  font-weight: bold;
+}
+
+dl.Bl-diag > dt {
+  font-weight: bold;
+}
+
+table.Nm tbody tr {
+  vertical-align: baseline;
+}
+
+code.Nm, code.Fl, code.Cm, code.Ic, code.In, code.Fd, code.Fn, code.Cd {
+  font-weight: bold;
+  color: #444;
+}
+
+code.Ev {
+  font-weight: bold;
+  color: #444;
+}
+
+code.Li {
+  color: #333;
+}
+
+var.Ar {
+  font-style: italic;
+}
+
+/* Dark mode */
+@media (prefers-color-scheme: dark) {
+  html {
+    background: #222;
+    color: #DDD;
+  }
+
+  a {
+    color: #B4C342;
+  }
+
+  a.permalink {
+    color: #DDD;
+  }
+
+  h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
+    color: #DDD;
+  }
+
+  h1 a:link, h2 a:link, h3 a:link, h4 a:link, h5 a:link, h6 a:link {
+    color: #DDD;
+  }
+
+  h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited {
+    color: #DDD;
+  }
+
+  code.Nm, code.Fl, code.Cm, code.Ic, code.In, code.Fd, code.Fn, code.Cd {
+    color: #AAA;
+  }
+
+  code.Ev {
+    color: #AAA;
+  }
+
+  code.Li {
+    color: #CCC;
+  }
+}
+
+/* Hard black for dark mode on mobile (since it's likely to be an OLED screen) */
+@media only screen and (hover: none) and (pointer: coarse) and (prefers-color-scheme: dark) {
+  html {
+    background: #000;
+    color: #CCC;
+  }
+}