From 4441f57aba42ad1d783618f3d90868b8ae913f04 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 25 Jan 2023 16:09:09 +0100
Subject: [PATCH] [doc] Code blocks in small

---
 doc/frama-c-book.cls | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/frama-c-book.cls b/doc/frama-c-book.cls
index 6e54587fc9b..8587442f5f5 100644
--- a/doc/frama-c-book.cls
+++ b/doc/frama-c-book.cls
@@ -410,7 +410,7 @@
 
 \newcommand{\lstbrk}{\mbox{$\color{blue}\scriptstyle\cdots$}}
 
-\def\lp@basic{\ifmmode\normalfont\mathtt\mdseries\small\else\normalfont\ttfamily\mdseries\normalsize\fi}
+\def\lp@basic{\ifmmode\normalfont\mathtt\mdseries\small\else\normalfont\ttfamily\mdseries\small\fi}
 \def\lp@inline{\ifmmode\normalfont\mathtt\scriptstyle\else\normalfont\ttfamily\mdseries\normalsize\fi}
 \def\lp@keyword{}
 \def\lp@special{\color{frama-c-dark-orange}}
-- 
GitLab