summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2014-02-15 10:26:38 +0000
committerLars Wirzenius <liw@liw.fi>2014-02-15 10:26:38 +0000
commit5035a344898a49683d7e4d558075e4d54cc24feb (patch)
tree6bec52352e11c164619d6697ba4c5cbbcc05aff0 /manual
parentd99f825477dc006e8d033568ce613168c5cc0771 (diff)
downloadobnam-5035a344898a49683d7e4d558075e4d54cc24feb.tar.gz
Move manual/manual.css as obnam.css
This allows it to be shared between manual and yarns HTML outputs.
Diffstat (limited to 'manual')
-rw-r--r--manual/Makefile4
-rw-r--r--manual/manual.css75
2 files changed, 2 insertions, 77 deletions
diff --git a/manual/Makefile b/manual/Makefile
index 68f372d0..5758d734 100644
--- a/manual/Makefile
+++ b/manual/Makefile
@@ -11,8 +11,8 @@ manual.pdf: Makefile $(sources)
pandoc --smart --toc --chapters --number-sections \
-o manual.pdf $(sources)
-manual.html: Makefile $(sources)
- pandoc -H manual.css --smart --toc --chapters --number-sections \
+manual.html: Makefile $(sources) ../obnam.css
+ pandoc -H ../obnam.css --smart --toc --chapters --number-sections \
--standalone \
--self-contained \
-o manual.html $(sources)
diff --git a/manual/manual.css b/manual/manual.css
deleted file mode 100644
index c79f01fa..00000000
--- a/manual/manual.css
+++ /dev/null
@@ -1,75 +0,0 @@
-<style>
-html {
- background: white;
- font-family: serif;
- margin-left: 3em;
- margin-right: 2em;
- margin-top: 2em;
-}
-
-form#searchform {
- font-family: monospace;
- text-align: right;
-}
-
-div.actions {
- font-family: monospace;
- text-align: right;
-}
-
-div.actions ul, div.actions li {
- display: inline;
-}
-
-div.pageheader {
- font-family: monospace;
- margin-bottom: 2em;
-}
-
-div.pageheader span.title {
- display: block;
- font-size: 200%;
- font-weight: bold;
- font-family: sans-serif;
- margin-top: 0.5em;
-}
-
-div#pagebody {
-}
-
-div.pagefooter {
- font-family: monospace;
- margin-top: 3em;
-}
-
-div#pagebody {
-}
-
-div#TOC ul {
- list-style: none;
-}
-
-h1, h2, h3, h4, h5, h6 {
- font-family: sans-serif;
- font-weight: bold;
- margin-top: 2em;
-}
-
-h1 {
- font-size: 150%;
-}
-
-h2 {
- font-size: 120%;
-}
-
-h3 {
- font-size: 100%;
-}
-
-ul li, ol li {
- margin-top: 0.5em;
- margin-bottom: 0.5em;
-}
-
-</style>