softcover 1.9.0 → 1.10.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d0cef099f6a21bab5fdcede6353400598795e5b5114d36b50536dbe4de44b0bb
-  data.tar.gz: 82eb3eaf48408798e6ffe4870d5bc24c5af04cac703dc1d1651f174004b33b62
+  metadata.gz: c38394c82dcaf6fdad6ef0b02168cba853b661c262217b1d822fa725d3c77dbc
+  data.tar.gz: 5c0fd7fbec4e582bfcd5f2737ce8aa927defb6158968e67de59b38ab5aee3e32
 SHA512:
-  metadata.gz: 18c915587ef9074be45041108cace9ce8cdee8073efc8ca3b2fe8d58c54a3a4804ac038a885c104c724314d89aca709c21f95a921b49b949600f5a95700e912c
-  data.tar.gz: 5b8b3aff2034499ee8da7d51244462b52264f14a35ffa90349f9fc536096f5c0e1196f6b3d7e3e78164bfbf8f83796c4a5b32cb7145dbfbeda555a90af0620f3
+  metadata.gz: 92ff5ae3cd49c6809295481d26e32fb4b80da3dd9e529b85294986874baabaaddb69645e0ae8cd8551a75f98fbecfeaa7cecc9627024c38a5c4c921e7a308520
+  data.tar.gz: 50a4b9f61f45afb6c285a54c48f716f324f3ffe61306f37fb37cd11bd7770c28e5a5031348e566c72ea977a8009d2e585ad7d528ff5997468973cb4a4bbcaccb

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    softcover (1.9.0)
+    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.0)
+      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.0)
+    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.0"
+  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.0'
+  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.0
+  version: 1.10.0
 platform: ruby
 authors:
 - Michael Hartl
@@ -9,22 +9,22 @@ authors:
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-08-18 00:00:00.000000000 Z
+date: 2023-09-06 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: polytexnic
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - '='
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.9.0
+        version: '1.10'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - '='
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.9.0
+        version: '1.10'
 - !ruby/object:Gem::Dependency
   name: msgpack
   requirement: !ruby/object:Gem::Requirement