summaryrefslogtreecommitdiff
path: root/man.css
diff options
context:
space:
mode:
Diffstat (limited to 'man.css')
-rw-r--r--man.css33
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;
+}