softcover 1.9.1 → 1.10.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d1a70ba1636dace37a55be5b779cd85414ab9a573184141b302a48e652270999
-  data.tar.gz: 3306dab3702d99c64a238c9e11f6d2bbbe2d0a40198df4dcbd5b686fba19b5e6
+  metadata.gz: c38394c82dcaf6fdad6ef0b02168cba853b661c262217b1d822fa725d3c77dbc
+  data.tar.gz: 5c0fd7fbec4e582bfcd5f2737ce8aa927defb6158968e67de59b38ab5aee3e32
 SHA512:
-  metadata.gz: 79a1cf87ca2486f511afa4a7e41eb4faa591efc679e06e2c02c4eaa15451fdb74206ef29de1fd4ac9efa2cc29d19074b0e735695164cd1289e3c1f99563d0e93
-  data.tar.gz: cc14906ce34b029322d9f8b8bc15b3a489e57b623222d268bbdb4c4fa799a7a41667276a9336868a6a97c639054e85596b2a0638357cb49a7b1ff305f9b0cca6
+  metadata.gz: 92ff5ae3cd49c6809295481d26e32fb4b80da3dd9e529b85294986874baabaaddb69645e0ae8cd8551a75f98fbecfeaa7cecc9627024c38a5c4c921e7a308520
+  data.tar.gz: 50a4b9f61f45afb6c285a54c48f716f324f3ffe61306f37fb37cd11bd7770c28e5a5031348e566c72ea977a8009d2e585ad7d528ff5997468973cb4a4bbcaccb

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    softcover (1.9.1)
+    softcover (1.10.0)
       activesupport (= 4.2.11.3)
       async_sinatra (= 1.1.0)
       coffee-script (= 2.4.1)
@@ -12,7 +12,7 @@ PATH
       maruku (= 0.7.3)
       msgpack (= 1.2.10)
       nokogiri (= 1.15.2)
-      polytexnic (~> 1.9)
+      polytexnic (~> 1.10)
       pygments.rb (= 2.3.1)
       rest-client (= 2.1.0)
       ruby-progressbar (= 1.13.0)
@@ -73,7 +73,7 @@ GEM
       rb-inotify (~> 0.9, >= 0.9.10)
     maruku (0.7.3)
     method_source (1.0.0)
-    mime-types (3.5.0)
+    mime-types (3.5.1)
       mime-types-data (~> 3.2015)
     mime-types-data (3.2023.0808)
     minitest (5.19.0)
@@ -83,7 +83,7 @@ GEM
       racc (~> 1.4)
     nokogiri (1.15.2-x86_64-darwin)
       racc (~> 1.4)
-    polytexnic (1.9.1)
+    polytexnic (1.10.0)
       json (= 2.3.1)
       kramdown (= 2.4.0)
       msgpack (= 1.2.10)
@@ -152,7 +152,7 @@ GEM
     unf (0.1.4)
       unf_ext
     unf_ext (0.0.8.2)
-    webmock (3.18.1)
+    webmock (3.19.1)
       addressable (>= 2.8.0)
       crack (>= 0.3.2)
       hashdiff (>= 0.4.0, < 2.0.0)

data/lib/softcover/article_template/html/stylesheets/softcover.css

@@ -476,3 +476,55 @@ body #book {
 #book span.intersentencespace {
   margin-right: 0.2em;
 }
+
+/* Theorem and proof environments. */
+/* Theorems, lemmas, etc., are "plain" style. */
+/* Definitions, axioms, etc., are "definition" style. */
+/* Remarks and claims are "remark" style. */
+/* See http://www.ams.org/arc/tex/amscls/amsthdoc.pdf */
+/* Most but not all of the AMS types are supported by PolyTeXnic. */
+.plain, .definition, .remark {
+  margin-bottom: 1em;
+  margin-top: 1em;
+}
+.plain .number, .definition .number, .remark .number {
+  font-style: normal;
+  margin-right: 0.1em;
+}
+.plain {
+  font-style: italic;
+}
+.number .theorem_description {
+  font-weight: normal;
+}
+/* Definitions are "definition" style, which basically means non-italic. */
+/* This is actually the default, but we include it here for completeness. */
+.definition {
+  font-style: normal;
+}
+/* The remark style involves an italic label and no boldface. */
+.remark {
+  font-style: normal;
+}
+.remark .number {
+  font-weight: normal;
+}
+.remark_label {
+  font-style: italic;
+}
+/* The default content before and after ("Proof. " and "∎") can be overridden */
+/* in a user stylesheet. */
+.proof {
+  padding-bottom: 0.5em;
+  padding-top: 0.5em;
+}
+.proof p:first-child:before {
+  content: "Proof. ";
+  font-style: italic;
+  margin-right: 0.2em;
+}
+.proof p:last-child:after {
+  /* U+220E ∎ END OF PROOF */
+  content: "∎";
+  float: right;
+}

data/lib/softcover/article_template/latex_styles/softcover.sty

@@ -217,6 +217,11 @@
             {Times New Roman}
 \setmonofont{Courier}
 
+% Restore the default "theorem" theorem style.
+% This can still be overriden in custom style files
+% or in the main file.
+\theoremstyle{theorem}
+
 % Include custom commands.
 \usepackage{latex_styles/custom}
 \usepackage{latex_styles/custom_pdf}

data/lib/softcover/book_template/html/stylesheets/softcover.css

@@ -476,3 +476,55 @@ body #book {
 #book span.intersentencespace {
   margin-right: 0.2em;
 }
+
+/* Theorem and proof environments. */
+/* Theorems, lemmas, etc., are "plain" style. */
+/* Definitions, axioms, etc., are "definition" style. */
+/* Remarks and claims are "remark" style. */
+/* See http://www.ams.org/arc/tex/amscls/amsthdoc.pdf */
+/* Most but not all of the AMS types are supported by PolyTeXnic. */
+.plain, .definition, .remark {
+  margin-bottom: 1em;
+  margin-top: 1em;
+}
+.plain .number, .definition .number, .remark .number {
+  font-style: normal;
+  margin-right: 0.1em;
+}
+.plain {
+  font-style: italic;
+}
+.number .theorem_description {
+  font-weight: normal;
+}
+/* Definitions are "definition" style, which basically means non-italic. */
+/* This is actually the default, but we include it here for completeness. */
+.definition {
+  font-style: normal;
+}
+/* The remark style involves an italic label and no boldface. */
+.remark {
+  font-style: normal;
+}
+.remark .number {
+  font-weight: normal;
+}
+.remark_label {
+  font-style: italic;
+}
+/* The default content before and after ("Proof. " and "∎") can be overridden */
+/* in a user stylesheet. */
+.proof {
+  padding-bottom: 0.5em;
+  padding-top: 0.5em;
+}
+.proof p:first-child:before {
+  content: "Proof. ";
+  font-style: italic;
+  margin-right: 0.2em;
+}
+.proof p:last-child:after {
+  /* U+220E ∎ END OF PROOF */
+  content: "∎";
+  float: right;
+}

data/lib/softcover/book_template/latex_styles/softcover.sty

@@ -217,6 +217,27 @@
             {Times New Roman}
 \setmonofont{Courier}
 
+\theoremstyle{plain}
+\newtheorem{theorem}{Theorem}[chapter]
+\newtheorem{lemma}[theorem]{Lemma}
+\newtheorem{corollary}[theorem]{Corollary}
+\newtheorem{proposition}[theorem]{Proposition}
+\newtheorem{conjecture}[theorem]{Conjecture}
+\theoremstyle{definition}
+\newtheorem{definition}[theorem]{Definition}
+\newtheorem{problem}[theorem]{Problem}
+\newtheorem{example}[theorem]{Example}
+\newtheorem{exercise}[theorem]{Exercise}
+\theoremstyle{remark}
+\newtheorem{axiom}[theorem]{Axiom}
+\newtheorem{remark}[theorem]{Remark}
+\newtheorem{claim}[theorem]{Claim}
+
+% Restore the default "theorem" theorem style.
+% This can still be overriden in custom style files
+% or in the main file.
+\theoremstyle{plain}
+
 % Include custom commands.
 \usepackage{latex_styles/custom}
 \usepackage{latex_styles/custom_pdf}

data/lib/softcover/version.rb

@@ -1,3 +1,3 @@
 module Softcover
-  VERSION = "1.9.1"
+  VERSION = "1.10.0"
 end

data/softcover.gemspec

@@ -18,7 +18,7 @@ Gem::Specification.new do |gem|
   gem.test_files    = gem.files.grep(%r{^(test|spec|features)/})
   gem.require_paths = ["lib"]
 
-  gem.add_dependency 'polytexnic', '~> 1.9'
+  gem.add_dependency 'polytexnic', '~> 1.10'
   gem.add_dependency 'msgpack', '1.2.10'
   gem.add_dependency 'nokogiri', '1.15.2'
   gem.add_dependency 'thor', '1.2.2'

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: softcover
 version: !ruby/object:Gem::Version
-  version: 1.9.1
+  version: 1.10.0
 platform: ruby
 authors:
 - Michael Hartl
@@ -9,7 +9,7 @@ authors:
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-08-20 00:00:00.000000000 Z
+date: 2023-09-06 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: polytexnic
@@ -17,14 +17,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '1.9'
+        version: '1.10'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '1.9'
+        version: '1.10'
 - !ruby/object:Gem::Dependency
   name: msgpack
   requirement: !ruby/object:Gem::Requirement