From 07d29d4f702fa5db2c3992f4312437d3ed8ec09b Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Sun, 9 Dec 2018 13:12:21 +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 @@
+<style type="text/css"><!--
+body {
+    margin: auto;
+    width: 80em;
+    background-color: #AEBECE;
+}
+h1, h2, h3, h4 { text-align: center }
+h1, h2, h3, h4, strong { color: #900090 }
+pre { background-color: #CCCCCC }
+--></style>
diff --git a/www.mk b/www.mk
index 9e1c2bb..e61a9b3 100644
--- a/www.mk
+++ b/www.mk
@@ -2,10 +2,12 @@ all: pygost.html
 
 MAKEINFO ?= makeinfo
 
+CSS != cat style.css
+
 pygost.html: *.texi
 	rm -f pygost.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