[PS] Distributions, cont.

2026-04-28 16:19:23 +02:00 · 2026-03-19 13:04:43 +01:00
parent 404ea2cb6b
commit f2224fcba5
5 changed files with 104 additions and 8 deletions
@@ -64,8 +64,8 @@
 \def \definition{\colorbox{lightgray}{Def} }
 \def \notation{\colorbox{lightgray}{Notation} }
 \def \remark{\colorbox{lightgray}{Remark} }
-\def \theorem{\colorbox{lightgray}{Th.} }
-\def \lemma{\colorbox{lightgray}{Lem.} }
+\def \theorem{\colorbox{gray}{Th.} }
+\def \lemma{\colorbox{gray}{Lem.} }
 \def \method{\colorbox{lightgray}{Method} }