diff --git a/Makefile b/Makefile index 128c1f084e5bfd1cc6b6a941862bebb5e2922348..ae4328b065e9de26368f00b7ac0ca679cb2b45c1 100644 --- a/Makefile +++ b/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) diff --git a/custom.css b/custom.css new file mode 100644 index 0000000000000000000000000000000000000000..3311bd7cf6972d42d66ecceba5380328089f2646 --- /dev/null +++ b/custom.css @@ -0,0 +1,13 @@ +.reveal h2 { + margin-top: 15px !important; +} + +.reveal pre { + font-size: 70% !important; +} +span.task { + font-size: 2rem; + position: absolute; + right: 10px; + top: 10px; +} diff --git a/fzj-reveal.js b/fzj-reveal.js index a31cc55bef923f4388693b0340af0607ff1427bf..ec500aa680d7d64d09ecc9fffe8475105ef98a8c 160000 --- a/fzj-reveal.js +++ b/fzj-reveal.js @@ -1 +1 @@ -Subproject commit a31cc55bef923f4388693b0340af0607ff1427bf +Subproject commit ec500aa680d7d64d09ecc9fffe8475105ef98a8c diff --git a/patch-01--add-ah-css.patch b/patch-01--add-ah-css.patch new file mode 100644 index 0000000000000000000000000000000000000000..31e1e4d0a114ae47582c0e22a37c83ca36a58d27 --- /dev/null +++ b/patch-01--add-ah-css.patch @@ -0,0 +1,10 @@ +--- /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>