Add pandoc options and PDF build script

Author: kellnerd

build.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+
+if [[ $# -eq 0 ]]
+then
+	input="proposal.md"
+else
+	input="$1"
+fi
+
+output="${input%.*}.pdf"
+
+echo "Writing PDF to $output ..."
+pandoc --defaults pandoc.yaml "$input" --output "$output"
+

pandoc.yaml

@@ -0,0 +1,15 @@
+highlight-style: haddock
+# better Unicode support
+pdf-engine: xelatex
+variables:
+    documentclass: article
+    papersize: A4
+    fontsize: 11pt
+    # fallback font for symbols: https://eskola.uk/2021/pandoc-latex-font-fallback/
+    header-includes: |
+        \usepackage[Symbols]{ucharclasses}
+        \newfontfamily\fallbackfont{DejaVu Sans}
+        \setTransitionsForSymbols{\fallbackfont}{\normalfont}
+    geometry:
+    - margin=2.5cm
+    colorlinks: true