From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 4 Jul 2022 16:00:35 +0000 (+0100)
Subject: indent colour-highlighted inline code in pdf
X-Git-Tag: opf_rfc_ls005_v1~1337
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4706ddf2656065de297fa19cd2504d473e2295ca;p=libreriscv.git

indent colour-highlighted inline code in pdf
---

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}}}