Move customization of Reveal JS from Jan's repo to mine

Makefile

@@ -24,6 +24,7 @@ subnotebooks: $(SUBNOTEBOOKS)
 	patch --silent --unified --input=fzj-reveal.js/patch-02--add-fzj-css.patch --output=$(_TMPFILE2) $(_TMPFILE1) && mv $(_TMPFILE2) $(_TMPFILE1)
 	patch --silent --unified --input=fzj-reveal.js/patch-03--modify-canvas.patch --output=$(_TMPFILE2) $(_TMPFILE1) && mv $(_TMPFILE2) $(_TMPFILE1)
 	patch --silent --unified --input=patch-00--add-fzj-reveal-subdir.patch --output=$(_TMPFILE2) $(_TMPFILE1) && mv $(_TMPFILE2) $(_TMPFILE1)
+	patch --silent --unified --input=patch-01--add-ah-css.patch --output=$(_TMPFILE2) $(_TMPFILE1) && mv $(_TMPFILE2) $(_TMPFILE1)
 	mv $(_TMPFILE1) $@
 
 %.pdf: %.html $(DEP_PRESENTATION)

custom.css

+.reveal h2 {
+    margin-top: 15px !important;
+}
+
+.reveal pre {
+    font-size: 70% !important;
+}
+span.task {
+    font-size: 2rem;
+    position: absolute;
+    right: 10px;
+    top: 10px;
+}

fzj-reveal.js @ ec500aa6

-Subproject commit a31cc55bef923f4388693b0340af0607ff1427bf
+Subproject commit ec500aa680d7d64d09ecc9fffe8475105ef98a8c

patch-01--add-ah-css.patch

+--- /dev/null	2021-06-02 15:02:18.000000000 +0200
++++ /dev/null	2021-06-02 15:02:43.000000000 +0200
+@@ -14,6 +14,7 @@
+ <link rel="stylesheet" href="fzj-reveal.js/reveal.js/dist/reveal.css">
+ <link rel="stylesheet" href="fzj-reveal.js/reveal.js/dist/theme/simple.css" id="theme">
+ <link rel="stylesheet" href="fzj-reveal.js/custom.css" id="custom">
++<link rel="stylesheet" href="custom.css" id="custom">
+ 
+ <!-- If the query includes 'print-pdf', include the PDF print sheet -->
+ <script>