From 9e2453bd83925ecbac3e684aa12b06536b5aa8b1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vincent=20D=C3=B6rig?= <dvincdt@gmail.com>
Date: Sat, 23 May 2020 13:23:00 +0200
Subject: [PATCH] Format, add sa script

---
 elements.html |  3 +++
 index.html    |  2 ++
 style.css     | 53 +++++++++++++++++++++++++--------------------------
 3 files changed, 31 insertions(+), 27 deletions(-)

diff --git a/elements.html b/elements.html
index fa025b8..7d3abcf 100644
--- a/elements.html
+++ b/elements.html
@@ -509,6 +509,9 @@
       </section>
     </main>
   </div>
+
+  <script async defer src="https://scripts.simpleanalyticscdn.com/latest.js"></script>
+  <noscript><img src="https://queue.simpleanalyticscdn.com/noscript.gif" alt=""></noscript>
 </body>
 
 </html>
diff --git a/index.html b/index.html
index 0fbfc9d..031f0b9 100644
--- a/index.html
+++ b/index.html
@@ -187,6 +187,8 @@
       }
     };
   </script>
+  <script async defer src="https://scripts.simpleanalyticscdn.com/latest.js"></script>
+  <noscript><img src="https://queue.simpleanalyticscdn.com/noscript.gif" alt=""></noscript>
 </body>
 
 </html>
diff --git a/style.css b/style.css
index 9afd4e1..525a841 100644
--- a/style.css
+++ b/style.css
@@ -1,41 +1,41 @@
 @font-face {
-  font-family: "Latin Modern";
+  font-family: 'Latin Modern';
   font-style: normal;
   font-weight: normal;
   font-display: swap;
-  src: url("./fonts/LM-regular.woff2") format("woff2"),
-    url("./fonts/LM-regular.woff") format("woff"),
-    url("./fonts/LM-regular.ttf") format("truetype");
+  src: url('./fonts/LM-regular.woff2') format('woff2'),
+    url('./fonts/LM-regular.woff') format('woff'),
+    url('./fonts/LM-regular.ttf') format('truetype');
 }
 
 @font-face {
-  font-family: "Latin Modern";
+  font-family: 'Latin Modern';
   font-style: italic;
   font-weight: normal;
   font-display: swap;
-  src: url("./fonts/LM-italic.woff2") format("woff2"),
-    url("./fonts/LM-italic.woff") format("woff"),
-    url("./fonts/LM-italic.ttf") format("truetype");
+  src: url('./fonts/LM-italic.woff2') format('woff2'),
+    url('./fonts/LM-italic.woff') format('woff'),
+    url('./fonts/LM-italic.ttf') format('truetype');
 }
 
 @font-face {
-  font-family: "Latin Modern";
+  font-family: 'Latin Modern';
   font-style: normal;
   font-weight: bold;
   font-display: swap;
-  src: url("./fonts/LM-bold.woff2") format("woff2"),
-    url("./fonts/LM-bold.woff") format("woff"),
-    url("./fonts/LM-bold.ttf") format("truetype");
+  src: url('./fonts/LM-bold.woff2') format('woff2'),
+    url('./fonts/LM-bold.woff') format('woff'),
+    url('./fonts/LM-bold.ttf') format('truetype');
 }
 
 @font-face {
-  font-family: "Latin Modern";
+  font-family: 'Latin Modern';
   font-style: italic;
   font-weight: bold;
   font-display: swap;
-  src: url("./fonts/LM-bold-italic.woff2") format("woff2"),
-    url("./fonts/LM-bold-italic.woff") format("woff"),
-    url("./fonts/LM-bold-italic.ttf") format("truetype");
+  src: url('./fonts/LM-bold-italic.woff2') format('woff2'),
+    url('./fonts/LM-bold-italic.woff') format('woff'),
+    url('./fonts/LM-bold-italic.ttf') format('truetype');
 }
 
 /* Box sizing rules */
@@ -69,8 +69,7 @@ html {
 }
 
 body {
-  font-family: "Latin Modern", Georgia, Cambria, "Times New Roman", Times,
-  serif;
+  font-family: 'Latin Modern', Georgia, Cambria, 'Times New Roman', Times, serif;
   line-height: 1.8;
 
   max-width: 80ch;
@@ -123,7 +122,7 @@ select {
 }
 
 /* Prevent textarea from overflowing */
-textarea{
+textarea {
   width: 100%;
 }
 
@@ -136,7 +135,7 @@ article > * + * {
 code,
 pre,
 kbd {
-  font-family: Menlo, Monaco, Consolas, "Liberation Mono", "Courier New",
+  font-family: Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New',
     monospace;
   font-size: 85%;
 }
@@ -196,7 +195,7 @@ nav li {
   display: block;
 }
 nav li:before {
-  content: counters(item, ".") " ";
+  content: counters(item, '.') ' ';
   counter-increment: item;
   padding-right: 0.85rem;
 }
@@ -214,7 +213,7 @@ dl dd {
   font-style: italic;
 }
 .theorem::before {
-  content: "Theorem " counter(theorem) ". ";
+  content: 'Theorem ' counter(theorem) '. ';
   font-weight: bold;
   font-style: normal;
 }
@@ -227,7 +226,7 @@ dl dd {
   font-style: italic;
 }
 .lemma::before {
-  content: "Lemma " counter(theorem) ". ";
+  content: 'Lemma ' counter(theorem) '. ';
   font-weight: bold;
   font-style: normal;
 }
@@ -240,11 +239,11 @@ dl dd {
   position: relative;
 }
 .proof::before {
-  content: "Proof. " attr(title);
+  content: 'Proof. ' attr(title);
   font-style: italic;
 }
 .proof:after {
-  content: "◾️";
+  content: '◾️';
   position: absolute;
   right: -12px;
   bottom: -2px;
@@ -258,14 +257,14 @@ dl dd {
   font-style: normal;
 }
 .definition::before {
-  content: "Definition " counter(definition) ". ";
+  content: 'Definition ' counter(definition) '. ';
   font-weight: bold;
   font-style: normal;
 }
 
 /* Center align author name, use small caps and add vertical spacing  */
 .author {
-  margin: .85rem 0;
+  margin: 0.85rem 0;
   font-variant-caps: small-caps;
   text-align: center;
 }