Skip to content
Snippets Groups Projects
Commit 403006dd authored by orestis.malaspin's avatar orestis.malaspin
Browse files

ajout highlight dans l'entete du makefile

parent 5874e9a1
Branches
No related tags found
No related merge requests found
Pipeline #
......@@ -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)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment