[doc] fix color box width

0bc000a2 · Allan Blanchard · 6b1698ab · 0bc000a2
Commit 0bc000a2 authored 2 years ago by Allan Blanchard
--- a/doc/frama-c-book.cls
+++ b/doc/frama-c-book.cls
@@ -373,7 +373,7 @@
 \newenvironment{colbox}[1]{%
  \newcommand\colboxcolor{#1}%
  \begin{lrbox}{\fcsavebox}%
-  \begin{minipage}{\dimexpr\columnwidth-2\fboxsep\relax}
+  \begin{minipage}{\dimexpr\linewidth-2\fboxsep\relax}
  \itshape
 }{%
  \end{minipage}\end{lrbox}%