Add missing files and correct gitignore

config.js

+import Reveal from "../../dist/reveal.esm.js"
+import RevealMarkdown from "../../plugin/markdown/markdown.esm.js"
+import RevealHighlight from "../../plugin/highlight/highlight.esm.js"
+import RevealMenu from "../../plugin/reveal.js-plugins/menu/menu.esm.js"
+import RevealNotes from "../../plugin/notes/notes.esm.js"
+import RevealZoom from "../../plugin/zoom/zoom.esm.js"
+import RevealSearch from "../../plugin/search/search.esm.js"
+import RevealMath from "../../plugin/math/math.esm.js"
+
+Reveal.initialize({
+    // Push each slide change to the browser history
+    history: true,
+    slideNumber: 'c/t',
+
+    plugins: [ RevealMarkdown, RevealHighlight, RevealChalkboard, RevealMenu, RevealSearch, RevealZoom, RevealNotes, RevealMath ],
+
+    chalkboard: {
+        chalkWidth: 4,
+        chalkEffect: 0.0,
+        toggleChalkboardButton: { left: "70px", bottom: "30px", top: "auto", right: "auto" },
+        toggleNotesButton: { left: "110px", bottom: "30px", top: "auto", right: "auto" }
+    },
+
+    menu: {
+        custom: [
+            { title: 'Sections', icon: '<i class="fas fa-file-powerpoint"></i>', src: '../menu.html' }
+        ]
+    }
+});
\ No newline at end of file

css/hljs-solarized-light.css

+.hljs{
+  display:block;
+  overflow-x:auto;
+  padding:.5em;
+  background:#fdf6e3;
+  color:#657b83
+}
+
+.hljs-comment,
+.hljs-quote {
+  color:#93a1a1
+}
+
+.hljs-keyword,
+.hljs-selector-tag,
+.hljs-addition {
+  color:#859900
+}
+
+.hljs-number,
+.hljs-string,
+.hljs-meta
+.hljs-meta-string,
+.hljs-literal,
+.hljs-doctag,
+.hljs-regexp {
+  color:#2aa198
+}
+
+.hljs-title,
+.hljs-section,
+.hljs-name,
+.hljs-selector-id,
+.hljs-selector-class {
+  color:#268bd2
+}
+
+.hljs-attribute,
+.hljs-attr,
+.hljs-variable,
+.hljs-template-variable,
+.hljs-class
+.hljs-title,
+.hljs-type {
+  color:#b58900
+}
+
+.hljs-symbol,
+.hljs-bullet,
+.hljs-subst,
+.hljs-meta,
+.hljs-meta
+.hljs-keyword,
+.hljs-selector-attr,
+.hljs-selector-pseudo,
+.hljs-link {
+  color:#cb4b16
+}
+
+.hljs-built_in,
+.hljs-deletion {
+  color:#dc322f
+}
+
+.hljs-formula {
+  background:#eee8d5
+}
+
+.hljs-emphasis {
+  font-style:italic
+}
+
+.hljs-strong {
+  font-weight:bold
+}
\ No newline at end of file

generate-pdf.sh

+#!/bin/bash
+# Usage:
+#   generate-pdf.sh url outdir
+#
+#   url is the url of the course menu file
+#   outdir is a folder which will contain the pdfs
+
+URL=$1
+OUTDIR=$2
+
+# TODO: check arguments
+
+if [ ! -e "${OUTDIR}" ]; then
+    mkdir -p  "${OUTDIR}"
+elif [ ! -d "${OUTDIR}"]; then
+    echo "${OUTDIR} is not a directory" 1>&2
+    exit
+fi
+
+SUBLINKS=$(wget -O - "${URL}/menu.html" | awk -F '"' '{print $4}' | grep / | cut -d '/' -f2-)
+
+for SL in ${SUBLINKS}; do
+    FILEOUT=$(basename "${SL}")
+    FILEOUT="${FILEOUT}.pdf"
+    echo "---- Converting ${SL} to ${FILEOUT} ----"
+    chromium --headless --run-all-compositor-stages-before-draw --virtual-time-budget=10000 --print-to-pdf="${OUTDIR}/${FILEOUT}" "${URL}/${SL}?print-pdf"
+done
+