diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-28 07:44:54 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-01-28 07:44:54 +0200 |
commit | 28acf7dbae3733afedd895035c6a053aa4d69f8b (patch) | |
tree | b6d85ed024d12177f5df20b952f47347ebed8828 /doc/prologue.xhtml | |
parent | 03e4e1a8bde0a53404af45e36e2f69df80d92ef8 (diff) |
Move to common man prologues and epilogues
Diffstat (limited to 'doc/prologue.xhtml')
-rw-r--r-- | doc/prologue.xhtml | 118 |
1 files changed, 0 insertions, 118 deletions
diff --git a/doc/prologue.xhtml b/doc/prologue.xhtml deleted file mode 100644 index e3ef036..0000000 --- a/doc/prologue.xhtml +++ /dev/null @@ -1,118 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"> -<head> - <meta charset="UTF-8"/> - <title>$name$($section$) bpkg $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; - } - </style> -</head> -<body> -<div id="content"> - - <h1>NAME</h1> - - <p><b><code>$name$</code></b> – $summary$</p> |