diff --git a/Makefile b/Makefile
index 78b7f725c7fa7501051bca0063774ab61ec8ed89..5d78ea5579c2b8ea344fbe5ab2ec0e595f88eea8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,5 @@
 REVEALOPRIONS = -t revealjs
 REVEALOPRIONS += --template ./default.revealjs
-REVEALOPRIONS += -V theme=simple
-# REVEALOPRIONS += -V center=true
 REVEALOPRIONS += -V margin=0
 # REVEALOPRIONS += -V minScale=0.2
 # REVEALOPRIONS += -V maxScale=2.0
@@ -11,7 +9,7 @@ REVEALOPRIONS += -V include-after="<script src="js/playRust.js"></script> \
 								   <script src="js/remote-diagrams.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" >\
+REVEALOPRIONS += -V header-includes="<link rel="stylesheet" href="reveal.js/lib/css/vs.css" >\
 								     <link rel="stylesheet" href="reveal.js/css/theme/simple.css" id="theme">\
 								     <link rel="stylesheet" href="css/console.css" id="theme">\
 								     <script src="jquery/dist/jquery.min.js"></script>"
diff --git a/reveal.js/lib/css/default.css b/reveal.js/lib/css/default.css
new file mode 100644
index 0000000000000000000000000000000000000000..f1bfade31e5dc4a990895fe70d4ffebb239fe900
--- /dev/null
+++ b/reveal.js/lib/css/default.css
@@ -0,0 +1,99 @@
+/*
+
+Original highlight.js style (c) Ivan Sagalaev <maniac@softwaremaniacs.org>
+
+*/
+
+.hljs {
+  display: block;
+  overflow-x: auto;
+  padding: 0.5em;
+  background: #F0F0F0;
+}
+
+
+/* Base color: saturation 0; */
+
+.hljs,
+.hljs-subst {
+  color: #444;
+}
+
+.hljs-comment {
+  color: #888888;
+}
+
+.hljs-keyword,
+.hljs-attribute,
+.hljs-selector-tag,
+.hljs-meta-keyword,
+.hljs-doctag,
+.hljs-name {
+  font-weight: bold;
+}
+
+
+/* User color: hue: 0 */
+
+.hljs-type,
+.hljs-string,
+.hljs-number,
+.hljs-selector-id,
+.hljs-selector-class,
+.hljs-quote,
+.hljs-template-tag,
+.hljs-deletion {
+  color: #880000;
+}
+
+.hljs-title,
+.hljs-section {
+  color: #880000;
+  font-weight: bold;
+}
+
+.hljs-regexp,
+.hljs-symbol,
+.hljs-variable,
+.hljs-template-variable,
+.hljs-link,
+.hljs-selector-attr,
+.hljs-selector-pseudo {
+  color: #BC6060;
+}
+
+
+/* Language color: hue: 90; */
+
+.hljs-literal {
+  color: #78A960;
+}
+
+.hljs-built_in,
+.hljs-bullet,
+.hljs-code,
+.hljs-addition {
+  color: #397300;
+}
+
+
+/* Meta color: hue: 200 */
+
+.hljs-meta {
+  color: #1f7199;
+}
+
+.hljs-meta-string {
+  color: #4d99bf;
+}
+
+
+/* Misc effects */
+
+.hljs-emphasis {
+  font-style: italic;
+}
+
+.hljs-strong {
+  font-weight: bold;
+}
diff --git a/reveal.js/lib/css/vs.css b/reveal.js/lib/css/vs.css
new file mode 100644
index 0000000000000000000000000000000000000000..c5d07d3115d374f82310c155668a51ef2daa89b3
--- /dev/null
+++ b/reveal.js/lib/css/vs.css
@@ -0,0 +1,68 @@
+/*
+
+Visual Studio-like style based on original C# coloring by Jason Diamond <jason@diamond.name>
+
+*/
+.hljs {
+  display: block;
+  overflow-x: auto;
+  padding: 0.5em;
+  background: white;
+  color: black;
+}
+
+.hljs-comment,
+.hljs-quote,
+.hljs-variable {
+  color: #008000;
+}
+
+.hljs-keyword,
+.hljs-selector-tag,
+.hljs-built_in,
+.hljs-name,
+.hljs-tag {
+  color: #00f;
+}
+
+.hljs-string,
+.hljs-title,
+.hljs-section,
+.hljs-attribute,
+.hljs-literal,
+.hljs-template-tag,
+.hljs-template-variable,
+.hljs-type,
+.hljs-addition {
+  color: #a31515;
+}
+
+.hljs-deletion,
+.hljs-selector-attr,
+.hljs-selector-pseudo,
+.hljs-meta {
+  color: #2b91af;
+}
+
+.hljs-doctag {
+  color: #808080;
+}
+
+.hljs-attr {
+  color: #f00;
+}
+
+.hljs-symbol,
+.hljs-bullet,
+.hljs-link {
+  color: #00b0e8;
+}
+
+
+.hljs-emphasis {
+  font-style: italic;
+}
+
+.hljs-strong {
+  font-weight: bold;
+}