Enumerate isn't always defined when the case stuff is included.

diff --git a/lib/layouts/theorems-case.inc b/lib/layouts/theorems-case.inc
index 36cd91f69b71f5f630586c6bb67920c131772304..0d82fffe352f5538ea0906d90f2f43c53952c71c 100644 (file)
--- a/lib/layouts/theorems-case.inc
+++ b/lib/layouts/theorems-case.inc
@@ -26,15 +26,34 @@ End
 
 Style Case
   Category              Reasoning
-  CopyStyle             Enumerate
+
+  Margin                Static
+  LatexType             Item_Environment
   LatexName             casenv
   LabelType             Enumerate
   LeftMargin            "Case ###."
+  LabelSep              xx
+  ParSkip               0.0
+  ItemSep               0.2
+  TopSep                0.7
+  BottomSep             0.7
+  ParSep                0.3
+  Align                 Block
+  AlignPossible         Block, Left
   LabelCounter          case
   LabelFont
     Series              Medium
     Shape               Italic
   EndFont
+  HTMLTag               ol
+  HTMLItem              li
+  HTMLLabel             NONE
+  RefPrefix             enu
+  Argument item:1
+    LabelString   "Custom Item|s"
+    Tooltip       "A customized item string"
+  EndArgument
+  NextNoIndent          1
        Requires enumitem
        # It'd be easier to use \setlist[caseenv] here, but that causes problems
        # if you nest an ordinary list inside a case environment. See discussion