diff --git a/docs/docs.pdf b/docs/docs.pdf
index 407bf91..d72f26e 100644
Binary files a/docs/docs.pdf and b/docs/docs.pdf differ
diff --git a/main/style/counters.tex b/main/style/counters.tex
index dbdea03..ec2db83 100644
--- a/main/style/counters.tex
+++ b/main/style/counters.tex
@@ -339,14 +339,14 @@
 \newcommand{\shortproof}{\bg{magenta}{\translate{Proof}{Beweis}:}}
 
 % Enhanced short environments (abbreviated)
-\newcommand{\compactex}[1]{\bg{gray}{\translate{Ex}{Bsp} \usenumberArabic{example}:} \textit{(#1)}}
-\newcommand{\compactdef}[1]{\bg{blue}{D \usenumberArabic{definition}:} \textit{(#1)}}
-\newcommand{\compactformula}[1]{\bg{red}{F \usenumberArabic{formula}:} \textit{(#1)}}
-\newcommand{\compactlemma}[1]{\bg{Aquamarine}{L \usenumberArabic{lemma}:} \textit{(#1)}}
+\newcommand{\compactex}[1]{\bg{gray}{\translate{Ex}{Bsp}\usenumberArabic{example}:} \textit{(#1)}}
+\newcommand{\compactdef}[1]{\bg{blue}{D\usenumberArabic{definition}:} \textit{(#1)}}
+\newcommand{\compactformula}[1]{\bg{red}{F\usenumberArabic{formula}:} \textit{(#1)}}
+\newcommand{\compactlemma}[1]{\bg{Aquamarine}{L\usenumberArabic{lemma}:} \textit{(#1)}}
 \newcommand{\compacttheorem}[1]{\bg{ForestGreen}{\translate{T}{\StrMid{\theoremde}{1}{1}} \usenumberArabic{theorem}:} \textit{(#1)}}
-\newcommand{\compactaxiom}[1]{\bg{JungleGreen}{A \usenumberArabic{axiom}:} \textit{(#1)}}
-\newcommand{\compactcorollary}[1]{\bg{teal}{\translate{C}{K} \usenumberArabic{corollary}:} \textit{(#1)}}
-\newcommand{\compactfact}[1]{\bg{SeaGreen}{F \usenumberArabic{fact}:} \textit{(#1)}}
-\newcommand{\compactproposition}[1]{\bg{Cyan}{P \usenumberArabic{proposition}:} \textit{(#1)}}
-\newcommand{\compactremark}[1]{\bg{green}{\tr{R}{B} \usenumberArabic{remark}:} \textit{(#1)}}
+\newcommand{\compactaxiom}[1]{\bg{JungleGreen}{A\usenumberArabic{axiom}:} \textit{(#1)}}
+\newcommand{\compactcorollary}[1]{\bg{teal}{\translate{C}{K}\usenumberArabic{corollary}:} \textit{(#1)}}
+\newcommand{\compactfact}[1]{\bg{SeaGreen}{F\usenumberArabic{fact}:} \textit{(#1)}}
+\newcommand{\compactproposition}[1]{\bg{Cyan}{P\usenumberArabic{proposition}:} \textit{(#1)}}
+\newcommand{\compactremark}[1]{\bg{green}{\tr{R}{B}\usenumberArabic{remark}:} \textit{(#1)}}
 \newcommand{\compactproof}[1]{\bg{magenta}{\translate{Proof}{Beweis}: \textit{(#1)}}}