DocBook: implement fancy color box.

[features.git] / lib / layouts / IEEEtran.layout

diff --git a/lib/layouts/IEEEtran.layout b/lib/layouts/IEEEtran.layout
index d0c5ca2ddc22e6f9b00809105365a52e9214b892..da183ab79b54b899e0f448df1c994cd5901e4a97 100644 (file)
--- a/lib/layouts/IEEEtran.layout
+++ b/lib/layouts/IEEEtran.layout
@@ -9,7 +9,7 @@
 # IEEtran textclass definition file.
 
 
-Format 80
+Format 85
 
 Sides          1
 SecNumDepth    3
@@ -45,6 +45,7 @@ Style Standard
 End
 
 Counter                theorem
+       GuiName Theorem
 End
 
 Input stdcounters.inc