Tweaks.

[features.git] / lib / layouts / theorems-starred.inc

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index 649762ed1cbaeb40f4d9b6c9846a25813b6d9d38..6371965f7afadac7c411e2479f1105a96bae030a 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -115,6 +115,10 @@ Style Definition*
        Font
          Shape               Up
        EndFont
+       LabelFont
+         Shape               Up
+         Series              Bold
+       EndFont
        Preamble
         \theoremstyle{definition}
         \newtheorem*{defn*}{Definition}