DocBook: fix indentation.

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

diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index f8c09c78334bdb2a2811661be5d1bb73ec1aef17..9227c6b8e48b9b17e06f6171a3cdd96ce942d53e 100644 (file)
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -9,7 +9,7 @@
 
 # Author: Richard Heck <rgheck@comcast.net>
 
-Format 80
+Format 85
 
 Counter theorem
        GuiName Theorem