chore(biome): enable css formatting

1 files changed, 41 insertions, 41 deletions

diff --git a/static/styles/LaTeX.css b/static/styles/LaTeX.css
index 2860e538..617ec86d 100644
--- a/static/styles/LaTeX.css
+++ b/static/styles/LaTeX.css
@@ -6,95 +6,95 @@
 */
 
 @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');
+    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');
+    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');
+    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');
+    url("./fonts/LM-bold-italic.woff2") format("woff2"),
+    url("./fonts/LM-bold-italic.woff") format("woff"),
+    url("./fonts/LM-bold-italic.ttf") format("truetype");
 }
 
 @font-face {
-  font-family: 'Libertinus';
+  font-family: "Libertinus";
   font-style: normal;
   font-weight: normal;
   font-display: swap;
-  src: url('./fonts/Libertinus-regular.woff2') format('woff2');
+  src: url("./fonts/Libertinus-regular.woff2") format("woff2");
 }
 
 @font-face {
-  font-family: 'Libertinus';
+  font-family: "Libertinus";
   font-style: italic;
   font-weight: normal;
   font-display: swap;
-  src: url('./fonts/Libertinus-italic.woff2') format('woff2');
+  src: url("./fonts/Libertinus-italic.woff2") format("woff2");
 }
 
 @font-face {
-  font-family: 'Libertinus';
+  font-family: "Libertinus";
   font-style: normal;
   font-weight: bold;
   font-display: swap;
-  src: url('./fonts/Libertinus-bold.woff2') format('woff2');
+  src: url("./fonts/Libertinus-bold.woff2") format("woff2");
 }
 
 @font-face {
-  font-family: 'Libertinus';
+  font-family: "Libertinus";
   font-style: italic;
   font-weight: bold;
   font-display: swap;
-  src: url('./fonts/Libertinus-bold-italic.woff2') format('woff2');
+  src: url("./fonts/Libertinus-bold-italic.woff2") format("woff2");
 }
 
 @font-face {
-  font-family: 'Libertinus';
+  font-family: "Libertinus";
   font-style: normal;
   font-weight: 600;
   font-display: swap;
-  src: url('./fonts/Libertinus-semibold.woff2') format('woff2');
+  src: url("./fonts/Libertinus-semibold.woff2") format("woff2");
 }
 
 @font-face {
-  font-family: 'Libertinus';
+  font-family: "Libertinus";
   font-style: italic;
   font-weight: 600;
   font-display: swap;
-  src: url('./fonts/Libertinus-semibold-italic.woff2') format('woff2');
+  src: url("./fonts/Libertinus-semibold-italic.woff2") format("woff2");
 }
 
 /* Box sizing rules */
@@ -182,11 +182,11 @@ html {
 }
 
 body.libertinus {
-  font-family: 'Libertinus', Georgia, Cambria, 'Times New Roman', Times, serif;
+  font-family: "Libertinus", Georgia, Cambria, "Times New Roman", Times, serif;
 }
 
 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;
@@ -278,7 +278,7 @@ article > * + * {
 code,
 pre,
 kbd {
-  font-family: Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New', monospace;
+  font-family: Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
   font-size: 85%;
 }
 pre {
@@ -314,11 +314,11 @@ table:not(.borders-custom) {
   counter-increment: caption;
 }
 /* add bottom border on column table headings  */
-table:not(.borders-custom) tr > th[scope='col'] {
+table:not(.borders-custom) tr > th[scope="col"] {
   border-bottom: var(--border-width-thin) solid var(--table-border-color);
 }
 /* add right border on row table headings  */
-table:not(.borders-custom) tr > th[scope='row'] {
+table:not(.borders-custom) tr > th[scope="row"] {
   border-right: var(--border-width-thin) solid var(--table-border-color);
 }
 table:not(.borders-custom) > tbody > tr:first-child > td,
@@ -347,7 +347,7 @@ caption {
 }
 
 caption::before {
-  content: 'Table ' counter(caption) '. ';
+  content: "Table " counter(caption) ". ";
   font-weight: bold;
 }
 
@@ -456,7 +456,7 @@ nav li {
   display: block;
 }
 nav li:before {
-  content: counters(item, '.') ' ';
+  content: counters(item, ".") " ";
   counter-increment: item;
   padding-right: 0.85rem;
 }
@@ -474,7 +474,7 @@ dl dd {
   font-style: italic;
 }
 .theorem::before {
-  content: 'Theorem ' counter(theorem) '. ';
+  content: "Theorem " counter(theorem) ". ";
   font-weight: bold;
   font-style: normal;
 }
@@ -487,7 +487,7 @@ dl dd {
   font-style: italic;
 }
 .lemma::before {
-  content: 'Lemma ' counter(theorem) '. ';
+  content: "Lemma " counter(theorem) ". ";
   font-weight: bold;
   font-style: normal;
 }
@@ -500,11 +500,11 @@ dl dd {
   position: relative;
 }
 .proof::before {
-  content: 'Proof. ' attr(title);
+  content: "Proof. " attr(title);
   font-style: italic;
 }
 .proof:after {
-  content: '◾️';
+  content: "◾️";
   filter: var(--proof-symbol-filter);
   position: absolute;
   right: -12px;
@@ -519,7 +519,7 @@ dl dd {
   font-style: normal;
 }
 .definition::before {
-  content: 'Definition ' counter(definition) '. ';
+  content: "Definition " counter(definition) ". ";
   font-weight: bold;
   font-style: normal;
 }
@@ -578,7 +578,7 @@ dl dd {
 
 /* add number in front of the sidenote */
 .sidenote-number ~ .sidenote::before {
-  content: counter(sidenote-counter) ' ';
+  content: counter(sidenote-counter) " ";
   font-size: 0.7rem;
   top: -0.5rem;
 }