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;