Fixed \judgmentfont bug when used inside theorems.