From d324baf487f1461eef4cf86c23e6ba5762233a5b Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Sat, 29 Aug 2020 12:56:12 +0200
Subject: [PATCH] better static stuff

---
 Makefile         | 4 ++--
 static/style.css | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index ef11fc3..f39ff60 100644
--- a/Makefile
+++ b/Makefile
@@ -27,8 +27,8 @@ $(www)/%.html: $(src)/%.md $(www)
 $(post_index): $(post-sources)
 	$(INDEXCC) $^ -o $@
 
-$(www_root)/static:
-	cp -R static $@
+$(www_root)/static: static
+	cp -R static $(www_root)
 
 $(POSTCC): $(post_compiler)
 	dune build
diff --git a/static/style.css b/static/style.css
index 1138bd8..e60efdf 100644
--- a/static/style.css
+++ b/static/style.css
@@ -30,7 +30,7 @@ html {
 
 body {
   font-family: 'Latin Modern Roman', Georgia, serif;
-  font-size: 110%;
+  font-size: 120%;
   line-height: 1.4;
   
   max-width: 100ch;