diff options
| -rw-r--r-- | common.css | 94 | ||||
| -rw-r--r-- | man-epilogue.xhtml | 7 | ||||
| -rw-r--r-- | man-prologue.xhtml | 108 | ||||
| -rw-r--r-- | man.css | 33 | ||||
| -rw-r--r-- | pre-box.css | 12 |
5 files changed, 148 insertions, 106 deletions
@@ -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">© 2014-2016 Code Synthesis Ltd<br/> - Distributed under the terms of the MIT License</div> +<div id="footer"> +© 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"> @@ -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. */ +} |