Full rebase of Marco's changes
Compare changes
Files
4- Marco Ammon authored
Syntax highlighting with ```lstlistings``` is semi-broken as highlighting keywords does not work correctly. This patch introduces ```minted``` instead, which uses the python script ```pygmentize```.
+ 96
− 43
@@ -182,13 +182,19 @@
@@ -285,8 +291,16 @@
@@ -529,9 +543,83 @@
@@ -546,43 +634,7 @@
@@ -610,7 +662,8 @@