From c91c5d314620638cc3099fa92da5cab7dedfb883 Mon Sep 17 00:00:00 2001 From: Marcin Grzejszczak Date: Thu, 2 Apr 2020 09:44:01 +0200 Subject: [PATCH] Updated docs theme to github --- pom.xml | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/pom.xml b/pom.xml index a8b5784d..2157e73a 100644 --- a/pom.xml +++ b/pom.xml @@ -1137,13 +1137,14 @@ highlight.js book - js/highlight - atom-one-dark-reasonable - true - ./images - font + shared css/ spring.css + true + font + js/highlight + github + ./images warn @@ -1171,13 +1172,14 @@ highlight.js book - js/highlight - atom-one-dark-reasonable - true - ./images - font + shared css/ spring.css + true + font + js/highlight + github + ./images