indent all verbatim, it was hard to find verbatim code
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 4 Jul 2022 13:36:22 +0000 (14:36 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 4 Jul 2022 13:36:22 +0000 (14:36 +0100)
openpower/simple_v_spec.tex

index 3c48b96e93d2b7308e8fd18e74d3d5bfdd4bfb11..4860d9d0957ea214c8edd1b79a8eb57d89715a69 100644 (file)
 \newcommand{\AlertTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}}
 \newcommand{\ErrorTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}}
 \newcommand{\NormalTok}[1]{#1}
+
+% indent all verbatim
+\catcode`\@=11
+\let \saveverbatime \@xverbatim
+\def \@xverbatim {\leftskip = 1cm\relax\saveverbatime}
+\catcode`\@=12
+
 \usepackage{longtable,booktabs}
 % Fix footnotes in tables (requires footnote package)
 \IfFileExists{footnote.sty}{\usepackage{footnote}\makesavenoteenv{long