diff --git a/Makefile b/Makefile index 4feed9eb9d83951aafe8129037d763de889963d6..0c6e7686062012597bc01bad02b0e416af6eb175 100644 --- a/Makefile +++ b/Makefile @@ -21,7 +21,8 @@ REVEALOPRIONS += -V width="1500" -V height="1500" -V margin=0 -V center=false REVEALOPRIONS += -V include-after="<script src="js/playRust.js"></script> \ <script src="js/remote-code.js"></script> \ <script src="js/remote-diagrams.js"></script> \ - <script src="js/em-artiste.js"></script>" + <script src="js/em-artiste.js"></script> \ + <script src="reveal.js/plugin/highlight/highlight.js"></script>" REVEALOPRIONS += -V header-includes="<link rel="stylesheet" href="reveal.js/lib/css/zenburn.css" >\ <link rel="stylesheet" href="reveal.js/css/theme/simple.css" id="theme">\ <link rel="stylesheet" href="css/console.css" id="theme">\ @@ -30,7 +31,7 @@ REVEALOPRIONS += --section-divs # REVEALOPRIONS += -V fontsize=tiny REVEALOPRIONS += -V slideNumber=true REVEALOPRIONS += --slide-level=1 -# REVEALOPRIONS += --highlight-style espresso +REVEALOPRIONS += --highlight-style espresso REVEALOPRIONS += --self-contained SVG=$(wildcard figs/*.svg)