.

2025-09-15 19:38:20 +02:00
parent 1457078e93
commit 0d573fadcc
1 changed files with 11 additions and 0 deletions
--- a/_extensions/cours/extra/environments.tex
+++ b/_extensions/cours/extra/environments.tex
@@ -1116,3 +1116,14 @@
 %}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

+\newsavebox{\fminipagebox}
+\NewDocumentEnvironment{fminipage}{m O{\fboxsep}}
+{\par\kern#2\noindent\begin{lrbox}{\fminipagebox}
+    \begin{minipage}{#1}\ignorespaces}
+    {\end{minipage}\end{lrbox}%
+  \makebox[#1]{%
+    \kern\dimexpr-\fboxsep-\fboxrule\relax
+    \fbox{\usebox{\fminipagebox}}%
+    \kern\dimexpr-\fboxsep-\fboxrule\relax
+  }\par\kern#2
+}