commit 09d5970bdefda69dd73a4505494b358f34ebca7d
parent 52dbbe8dd1e0738247f021e353b83ef1cc3f113a
Author: Martin Kloeckner <mjkloeckner@gmail.com>
Date: Sat, 19 Oct 2024 23:17:15 -0300
shrink blank space around inline quotes
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/guias/style.tex b/guias/style.tex
@@ -24,7 +24,8 @@
\let\oldtexttt\texttt
\renewcommand{\texttt}[1]{
- \colorbox{bgcolor}{\oldtexttt{#1}}
+ \setlength\fboxsep{2pt}
+ \kern-0.60em\colorbox{bgcolor}{\oldtexttt{#1}}\kern-0.25pt
}
% change boldfont bold to extrabold