lib/softcover/article_template/html/stylesheets/softcover.css in softcover-1.10.1 vs lib/softcover/article_template/html/stylesheets/softcover.css in softcover-1.10.2

- old
+ new

@@ -516,13 +516,11 @@ /* 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 em.proof_label { + margin-right: 0.3em; } .proof p:last-child:after { /* U+220E ∎ END OF PROOF */ content: "∎"; float: right;