From 4706ddf2656065de297fa19cd2504d473e2295ca Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 4 Jul 2022 17:00:35 +0100
Subject: [PATCH] indent colour-highlighted inline code in pdf

---
 openpower/simple_v_spec.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/openpower/simple_v_spec.tex b/openpower/simple_v_spec.tex
index b84a855b9..534f5edc3 100644
--- a/openpower/simple_v_spec.tex
+++ b/openpower/simple_v_spec.tex
@@ -36,7 +36,7 @@
 \usepackage{fancyvrb}
 \newcommand{\VerbBar}{|}
 \newcommand{\VERB}{\Verb[commandchars=\\\{\}]}
-\DefineVerbatimEnvironment{Highlighting}{Verbatim}{commandchars=\\\{\}}
+\DefineVerbatimEnvironment{Highlighting}{Verbatim}{commandchars=\\\{\},xleftmargin=5mm}
 % Add ',fontsize=\small' for more characters per line
 \newenvironment{Shaded}{}{}
 \newcommand{\KeywordTok}[1]{\textcolor[rgb]{0.00,0.44,0.13}{\textbf{#1}}}
-- 
2.30.2