From 2127be21dcfdbb4a7db73c40e57e80b871d42169 Mon Sep 17 00:00:00 2001
From: Nelson Tavares de Sousa <ntd@informatik.uni-kiel.de>
Date: Mon, 26 Jan 2015 18:27:28 +0100
Subject: [PATCH] changed highlighting style

---
 src/site/site.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/site/site.xml b/src/site/site.xml
index 12e9aa09..173c1809 100644
--- a/src/site/site.xml
+++ b/src/site/site.xml
@@ -86,7 +86,7 @@
 			</absoluteResourceURL>
 			<theme>default</theme>
 			<highlightJs>true</highlightJs>
-			<highlightJsTheme>Sunburst</highlightJsTheme>
+			<highlightJsTheme>xcode</highlightJsTheme>
 			<brand>
 				<name>
 					TeeTime
-- 
GitLab