From af66fa8321bbfd5ee4d491ea305a000b3ee1af25 Mon Sep 17 00:00:00 2001
From: Jay Bryant <jbryant@pivotal.io>
Date: Wed, 1 Apr 2020 11:12:26 -0500
Subject: [PATCH] Update spring-doc-resources version and highlight

Update the version of spring-doc-resources and the highlighter for HTML
to get the latest look and feel and nicer code listings.
---
 build.gradle | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.gradle b/build.gradle
index 24b7f855..e65c6191 100644
--- a/build.gradle
+++ b/build.gradle
@@ -13,7 +13,7 @@ buildscript {
 		eclipseEmfEcoreVersion = '2.11.1-v20150805-0538'
 		eclipseUml2UmlVersion = '5.0.0-v20140602-0749'
 		curatorVersion = '2.11.1'
-		docResourcesVersion = '0.1.1.RELEASE'
+		docResourcesVersion = '0.2.0.RELEASE'
 		awaitilityVersion = '3.1.6'
 		reactorBlockHoundVersion = '1.0.1.RELEASE'
 	}
@@ -660,7 +660,7 @@ configure(rootProject) {
 			// use provided highlighter
 			'source-highlighter=highlight.js',
 			'highlightjsdir=js/highlight',
-			'highlightjs-theme=atom-one-dark-reasonable',
+			'highlightjs-theme=github',
 			'idprefix': '',
 			'idseparator': '-',
 			'spring-statemachine-version' : project.version,