From 28e15c34fa5cede500230f3fff088fd95cb92d52 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Sat, 8 Dec 2018 23:05:20 +0300 Subject: [PATCH] Website restyling --- style.css | 10 ++++++++++ www.mk | 4 +++- 2 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 style.css diff --git a/style.css b/style.css new file mode 100644 index 0000000..e05fd44 --- /dev/null +++ b/style.css @@ -0,0 +1,10 @@ + diff --git a/www.mk b/www.mk index 005d4a8..0670ffd 100644 --- a/www.mk +++ b/www.mk @@ -2,10 +2,12 @@ all: gogost.html MAKEINFO ?= makeinfo +CSS != cat style.css + gogost.html: *.texi rm -f gogost.html/*.html $(MAKEINFO) --html \ - --set-customization-variable NO_CSS=1 \ + --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 \ -- 2.44.0