diff options
-rw-r--r-- | manual/Makefile | 4 | ||||
-rw-r--r-- | obnam.css (renamed from manual/manual.css) | 4 |
2 files changed, 6 insertions, 2 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/obnam.css index c79f01fa..78cd374a 100644 --- a/manual/manual.css +++ b/obnam.css @@ -72,4 +72,8 @@ ul li, ol li { margin-bottom: 0.5em; } +pre { + margin-left: 4em; +} + </style> |