From 27b8436d561f5ad31ad1e80ceaf63b4c752529ee Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Sat, 8 Oct 2016 12:17:31 +0300 Subject: [PATCH] [DOC] More compact CSS --- doc/Makefile | 5 ++++- doc/style.css | 17 +++++------------ 2 files changed, 9 insertions(+), 13 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index 771850b..f478ade 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -8,11 +8,14 @@ handshake.utxt: handshake.txt govpn.info: *.texi handshake.utxt $(MAKEINFO) -o govpn.info index.texi +CSS != cat style.css + govpn.html: *.texi handshake.utxt rm -f govpn.html/*.html $(MAKEINFO) --html \ - --css-include=style.css \ + --set-customization-variable CSS_LINES='$(CSS)' \ --set-customization-variable SHOW_TITLE=0 \ + --set-customization-variable USE_ACCESSKEY=0 \ --set-customization-variable DATE_IN_HEADER=1 \ --set-customization-variable TOP_NODE_UP_URL=index.html \ -o govpn.html index.texi diff --git a/doc/style.css b/doc/style.css index 19806be..dc94af9 100644 --- a/doc/style.css +++ b/doc/style.css @@ -1,17 +1,10 @@ + -- 2.44.0