From 011eca13a14995d8391d06f304c478d5e7824d74 Mon Sep 17 00:00:00 2001
From: Gary Tierney <gary.tierney@gmx.com>
Date: Tue, 4 Sep 2018 19:16:38 +0100
Subject: [PATCH] Configure source highlighting and TOC in documentation

---
 docs/build.gradle | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/build.gradle b/docs/build.gradle
index f02a1a41a..ed8e8b5db 100644
--- a/docs/build.gradle
+++ b/docs/build.gradle
@@ -8,6 +8,11 @@ repositories {
     mavenCentral()
 }
 
+asciidoctor {
+    attributes 'source-highlighter': 'prettify',
+            'toc': 'left'
+}
+
 githubPages {
     repoUri = 'git@github.com:apollo-rsps/apollo-rsps.github.io'
     targetBranch = 'master'