diff options
author | Lars Wirzenius <liw@liw.fi> | 2014-02-15 10:26:38 +0000 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2014-02-15 10:26:38 +0000 |
commit | 5035a344898a49683d7e4d558075e4d54cc24feb (patch) | |
tree | 6bec52352e11c164619d6697ba4c5cbbcc05aff0 /manual | |
parent | d99f825477dc006e8d033568ce613168c5cc0771 (diff) | |
download | obnam-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/Makefile | 4 | ||||
-rw-r--r-- | manual/manual.css | 75 |
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> |