specify a background color for listings and allow the user to change it, patch by...

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

diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index 0d111920cac11acf78467f4e7ea0f74d16de2b48..73447c528629475e5744a16661b990d5584c2a50 100644 (file)
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -8,7 +8,7 @@
 
 # Author: Richard Heck <rgheck@comcast.net>
 
-Format 6
+Format 8
 
 Counter
        Name                 theorem
@@ -16,3 +16,22 @@ End
 
 Input theorems.inc
 Input theorems-proof.inc
+
+#This is just a hacked version of the AMS proof environment
+Style Proof
+  Preamble
+    \ifx\proof\undefined\
+      \newenvironment{proof}[1][\proofname]{\par
+        \normalfont\topsep6\p@\@plus6\p@\relax
+        \trivlist
+        \itemindent\parindent
+        \item[\hskip\labelsep
+              \scshape
+          #1]\ignorespaces
+      }{%
+        \endtrivlist\@endpefalse
+      }
+      \providecommand{\proofname}{Proof}
+    \fi
+  EndPreamble
+End
\ No newline at end of file