summaryrefslogtreecommitdiff
path: root/man-prologue.xhtml
diff options
context:
space:
mode:
Diffstat (limited to 'man-prologue.xhtml')
-rw-r--r--man-prologue.xhtml108
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">