summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--common.css94
-rw-r--r--man-epilogue.xhtml7
-rw-r--r--man-prologue.xhtml108
-rw-r--r--man.css33
-rw-r--r--pre-box.css12
5 files changed, 148 insertions, 106 deletions
diff --git a/common.css b/common.css
index 11429bc..4c0b697 100644
--- a/common.css
+++ b/common.css
@@ -9,6 +9,7 @@ html
font-weight: normal;
font-size: 18px;
line-height: 1.4em;
+ letter-spacing: 0.01em;
}
body {margin: 0;} /* There is non-0 default margin for body. */
@@ -24,18 +25,109 @@ body {min-width: 17em;}
{
max-width: 40em;
margin: 0 auto 0 auto;
- padding: 0 .4em 0 .4em; /* Space between text and browser frame. */
+ padding: 0 .4em 0 .4em; /* Space between text and browser frame. */
}
+/*
+ * Footer.
+ */
+
+#footer
+{
+ color: #767676;
+ font-size: 0.7223em;
+ line-height: 1.3em;
+ margin: 2.2em 0 1em 0;
+ text-align: center;
+}
+
+/* Screen size indicator in the footer. The before/after content is in case
+ we don't have any content in the footer. Margin is to actually see the
+ border separate from the browser frame. */
+
+/*
+#footer:before {content: "\A0";}
+#footer:after {content: "\A0";}
+
+#footer
+{
+ border-left: 1px solid;
+ border-right: 1px solid;
+ margin-left: 1px;
+ margin-right: 1px;
+}
+
+@media only screen and (max-width: 359px)
+{
+ #footer {border-color: red;}
+}
+
+@media only screen and (min-width: 360px) and (max-width: 567px)
+{
+ #footer {border-color: orange;}
+}
+
+@media only screen and (min-width: 568px) and (max-width: 1023px)
+{
+ #footer {border-color: blue;}
+}
+
+@media only screen and (min-width: 1024px)
+{
+ #footer {border-color: green;}
+}
+*/
+
+/*
+ * Common elements.
+ */
+
p, li, dd {text-align: justify;}
+a
+{
+ color: #3870c0;
+ /*color: #4078c0;*/
+ text-decoration: none;
+}
+
+a:hover, a:active
+{
+/*color: #006fbf;*/
+/*color: #0087e7;*/
+ text-decoration: underline;
+}
+
+a:visited
+{
+/*color: #003388;*/
+ color: #00409c;
+}
+
+/* Standard lists. */
+ul, ol, dl {margin: 1em 0 1em 0;}
+ul li, ol li {margin: 0 0 .4em 0;}
+ul li {list-style-type: circle;}
+dl dt {margin: 0 0 0 0;}
+dl dd {margin: 0 0 .6em 1.8em;}
+
code, pre
{
font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
font-size: 0.92em;
+ letter-spacing: 0;
}
pre
{
white-space: pre-wrap;
}
+
+/* Use page rather than system font settings. */
+input
+{
+ font-family: inherit;
+ font-weight: inherit;
+ font-size: inherit;
+ line-height: inherit;
+}
diff --git a/man-epilogue.xhtml b/man-epilogue.xhtml
index 777139e..596e584 100644
--- a/man-epilogue.xhtml
+++ b/man-epilogue.xhtml
@@ -5,8 +5,11 @@
</div>
-<div id="footer">&#169; 2014-2016 Code Synthesis Ltd<br/>
- Distributed under the terms of the MIT License</div>
+<div id="footer">
+&#169; 2014-2016 Code Synthesis Ltd<br/>
+Permission is granted to copy, distribute and/or modify this document under
+the terms of the MIT License.
+</div>
</body>
</html>
diff --git a/man-prologue.xhtml b/man-prologue.xhtml
index d30b42c..0fddb64 100644
--- a/man-prologue.xhtml
+++ b/man-prologue.xhtml
@@ -2,113 +2,15 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta charset="UTF-8"/>
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>$name$($section$) $project$ $version$</title>
- <!-- @@ Need to style default ul, ol -->
-
<style type="text/css">
- html
- {
- font-family: "Helvetica Neue", Helvetica, "Segoe UI", Arial, freesans, sans-serif;
- font-weight: normal;
- font-size: 18px;
- line-height: 1.4em;
-
- color: #333;
- text-align: justify;
- }
-
- body {margin: 0;}
- body {min-width: 17em;}
- @media only screen and (min-width: 360px)
- {
- body {min-width: 19em;}
- }
-
- #content
- {
- max-width: 40em;
- margin: 0 auto 0 auto;
- padding: 0 .4em 0 1.5em;
- }
-
- #footer
- {
- color: #666;
- font-size: 0.833em;
- line-height: 1.3em;
- text-align: center;
- margin: 2.2em 0 1em 0;
- }
-
- h1
- {
- font-weight: normal;
- font-size: 1.58em;
- line-height: 1.4em;
-
- margin: 1.6em 0 .6em -.92em;
- }
-
- code, pre
- {
- font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
- font-size: 0.92em;
- }
-
- /*
- code
- {
- background-color: rgba(0, 0, 0, 0.04);
- border-radius: 0.2em;
- padding: .2em 0 .2em 0;
- }
-
- code::before
- {
- letter-spacing: -0.2em;
- content: "\00a0";
- }
-
- code::after
- {
- letter-spacing: -0.2em;
- content: "\00a0";
- }
- */
-
- pre
- {
- background-color: #f7f7f7;
- border-radius: 0.2em;
- padding: .8em .4em .8em .4em;
- margin: .2em -.4em .2em -.4em; /* Use margins of #content. */
- }
-
- dl {
- margin: 1em 0 1em 0;
- }
-
- dl dt {
- margin: 0 0 0 0;
- }
-
- dl dd {
- margin: 0 0 0 1.8em;
- }
-
- .options {
- margin: 1em 0 1em 0;
- }
-
- .options dt {
- margin: 1em 0 0 0;
- }
-
- .options dd {
- margin: .1em 0 0 4.5em;
- }
+$./common.css$
+$./pre-box.css$
+$./man.css$
</style>
+
</head>
<body>
<div id="content">
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;
+}
diff --git a/pre-box.css b/pre-box.css
new file mode 100644
index 0000000..25c2dc3
--- /dev/null
+++ b/pre-box.css
@@ -0,0 +1,12 @@
+/* file : pre-box.css
+ * copyright : Copyright (c) 2014-2016 Code Synthesis Ltd
+ * license : MIT; see accompanying LICENSE file
+ */
+
+pre
+{
+ background-color: #f7f7f7;
+ border-radius: 0.2em;
+ padding: .8em .4em .8em .4em;
+ margin: .2em -.4em .2em -.4em; /* Use margins of #content. */
+}