diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-28 11:22:55 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-28 11:22:55 +0200 |
| commit | 9510963c900770f86f80b98f07deb8242448b117 (patch) | |
| tree | aebb6ba19164d39ca146a3480d6624499b741d1d /man-prologue.xhtml | |
| parent | 60fec06053818e32e97b028fa1d4d1085fd1e679 (diff) | |
Add man page style
Diffstat (limited to 'man-prologue.xhtml')
| -rw-r--r-- | man-prologue.xhtml | 108 |
1 files changed, 5 insertions, 103 deletions
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"> |