Add man page style

1 files changed, 33 insertions, 0 deletions

diff --git a/man.css b/man.css
new file mode 100644
index 0000000..6ddeeb5
--- /dev/null
+++ b/man.css
@@ -0,0 +1,33 @@
+/* file      : man.css
+ * copyright : Copyright (c) 2014-2016 Code Synthesis Ltd
+ * license   : MIT; see accompanying LICENSE file
+ */
+
+/* Bases:
+ *
+ * common.css
+ * pre-box.css
+ *
+ */
+
+html {color: #333;}
+#content { padding-left: 1.5em; /* Reserve for the heading. */}
+
+h1
+{
+  font-weight: normal;
+  font-size: 1.58em;
+  line-height: 1.4em;
+  margin: 1.6em 0 .6em -.88em;
+}
+
+/* Definition list for options. */
+dl.options dt {margin: 1em 0 0 0;}
+dl.options dd {margin: .1em 0 0 4.5em;}
+
+/* Make lists inside option descriptions a tad smaller. */
+dl.options dd ul, dl.options dd ol, dl.options dd dl
+{
+  font-size: 0.889em;
+  line-height: 1.4em;
+}