From 24e02ea77b87984e60b06c11875d2f138a85f392 Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Mon, 24 May 2021 18:08:35 +0530
Subject: Add CSS to website.

* Makefile.am (website/style.css): New target.
(website): Require website/style.css.
* style.css: New file.
---
 Makefile.am |  6 +++++-
 style.css   | 12 ++++++++++++
 2 files changed, 17 insertions(+), 1 deletion(-)
 create mode 100644 style.css

diff --git a/Makefile.am b/Makefile.am
index 2fc61c7..38e49bc 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -66,12 +66,16 @@ EXTRA_DIST +=			\
 
 # Build website
 
-website: website/index.html
+website: website/index.html website/style.css
 
 website/index.html: README.org
 	mkdir -p $(dir $@)
 	emacs -Q --script build-aux/build-home-page.el
 
+website/style.css: style.css
+	mkdir -p $(dir $@)
+	cp -v $< $@
+
 # The clean target depends on clean-local. We use clean-local to clean
 # up the website built by the website target.
 clean-local:
diff --git a/style.css b/style.css
new file mode 100644
index 0000000..70573dd
--- /dev/null
+++ b/style.css
@@ -0,0 +1,12 @@
+body {
+    margin: 40px auto;
+    max-width: 900px;
+    line-height: 1.6;
+    font-size: 18px;
+    color: #444;
+    padding: 0 10px;
+}
+
+h1, h2, h3 {
+    line-height: 1.2;
+}
-- 
cgit v1.2.3