From e75d84f2774bc891b3443abaf7c5e21ccff70fbf Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Thu, 19 Jul 2018 16:08:18 +0200
Subject: [PATCH] More cosmetics for FUN

---
 module1/ressources/Makefile | 2 ++
 module2/ressources/Makefile | 2 ++
 2 files changed, 4 insertions(+)
diff --git a/module1/ressources/Makefile b/module1/ressources/Makefile
index 0484f78..a67219d 100644
--- a/module1/ressources/Makefile
+++ b/module1/ressources/Makefile
@@ -6,5 +6,7 @@ NLINES=10000000
 %.html: %.org
 	emacs -batch $^  --funcall org-html-export-to-html
 	sed -i 's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g' $@
+	sed -i 's/<li /<li style="margin-bottom:0;" /g' $@
 	mv $@ $@.bak
 	cat $@.bak | grep -A $(NLINES) -e '<body>' | grep -B $(NLINES) -e '<div id="postamble" class="status">' | grep -v -e '<body>' -e '<div id="postamble" class="status">' > $@
+	rm $@.bak
diff --git a/module2/ressources/Makefile b/module2/ressources/Makefile
index 2e246eb..629b2ab 100644
--- a/module2/ressources/Makefile
+++ b/module2/ressources/Makefile
@@ -5,5 +5,7 @@ NLINES=10000000
 %.html: %.org
 	emacs -batch $^  --funcall org-html-export-to-html
 	sed -i 's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g' $@
+	sed -i 's/<li /<li style="margin-bottom:0;" /g' $@
 	mv $@ $@.bak
 	cat $@.bak | grep -A $(NLINES) -e '<body>' | grep -B $(NLINES) -e '<div id="postamble" class="status">' | grep -v -e '<body>' -e '<div id="postamble" class="status">' > $@
+	rm $@.bak
-- 
2.18.1

