From 921dda9a727e65e2ebfddc0970887815b45b4db5 Mon Sep 17 00:00:00 2001
From: Dimitri Lozeve <dimitri@lozeve.com>
Date: Sun, 30 Aug 2020 23:09:42 +0200
Subject: [PATCH] Remove CSS counters

---
 css/default.css | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/css/default.css b/css/default.css
index d3df289..e8eb064 100644
--- a/css/default.css
+++ b/css/default.css
@@ -1,8 +1,5 @@
 body {
     background: #fafafa;
-    counter-reset: theorem;
-    counter-reset: definition;
-    counter-reset: sidenote-counter; /* Hack, otherwise we break Tufte CSS */
 }
 
 header {
@@ -61,7 +58,6 @@ blockquote {
 }
 
 .proposition, .theorem {
-    counter-increment: theorem;
     font-style: italic;
 }
 
@@ -76,20 +72,19 @@ blockquote {
 }
 
 .theorem:before {
-    content: "Theorem " counter(theorem) ".";
+    content: "Theorem.";
     font-weight: bold;
     font-style: normal;
 }
 
 .proposition:before {
-    content: "Proposition " counter(theorem) ".";
+    content: "Proposition.";
     font-weight: bold;
     font-style: normal;
 }
 
 .definition:before {
-    counter-increment: definition;
-    content: "Definition " counter(definition) ".";
+    content: "Definition.";
     font-weight: bold;
     font-style: normal;
 }