diff --git a/build_info.json b/build_info.json index 73356f9..f1eb43d 100644 --- a/build_info.json +++ b/build_info.json @@ -1,8 +1,8 @@ { "build_time": "", "source files": { - "version": "v2.9-6-g08fa626", - "commit": "08fa626f54b1c3b931b6016c6daac920df9cd456", + "version": "v2.9-7-gd7e3d2a", + "commit": "d7e3d2a9f06d65cbf4d53a3f12cd6128c20915e6", "dirty": false }, "pytex": { @@ -421,12 +421,12 @@ { "name": "environments/thmstyle/thmstyle.sty", "source file": "environments/thmstyle/thmstyle.dtx", - "build time": "2022/01/30 23:48", - "source version": "v2.8.1-9-g4bda829", - "source commit hash": "4bda829518c07d985656547cf897712db361160e", + "build time": "2022/02/13 23:40", + "source version": "v2.9-7-gd7e3d2a", + "source commit hash": "d7e3d2a9f06d65cbf4d53a3f12cd6128c20915e6", "pytex version": "v1.2.0-31-gc9bb0e8", "pytex commit hash": "c9bb0e87c91beae3e17a829603e4459cf804ec51", - "md5sum": "45e234264f0eadeead759705a8fffbe3", + "md5sum": "25887354cf8b134a804f11e8c8e05746", "dirty": false }, { diff --git a/environments/thmstyle/thmstyle.sty b/environments/thmstyle/thmstyle.sty index 93771da..14d13c2 100644 --- a/environments/thmstyle/thmstyle.sty +++ b/environments/thmstyle/thmstyle.sty @@ -55,7 +55,11 @@ rightline = false, topline = false, bottomline = false, - backgroundcolor = #3 + backgroundcolor = #3, + skipabove = 0.7\baselineskip, + skipbelow = 0pt, + innerrightmargin = 10pt, + innerbottommargin = 5pt } { #1