DocBook: implement fancy color box.

[features.git] / lib / layouts / theorems-sec.module

diff --git a/lib/layouts/theorems-sec.module b/lib/layouts/theorems-sec.module
index db1eea0ae720bb5fe822955bb2f4ede7ac848b73..a1c6c06c391fcd655ab9c9ccb006cb2a05e24a04 100644 (file)
--- a/lib/layouts/theorems-sec.module
+++ b/lib/layouts/theorems-sec.module
@@ -9,9 +9,10 @@
 
 # Author: Richard Heck <rgheck@comcast.net>
 
-Format 74
+Format 85
 
 Counter theorem
+       GuiName Theorem
        Within         section
 End