chore(biome): enable css formatting

6 files changed, 70 insertions, 70 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;
 }
diff --git a/static/styles/risotto/header.css b/static/styles/risotto/header.css
index 3a2e86de..cbe69168 100644
--- a/static/styles/risotto/header.css
+++ b/static/styles/risotto/header.css
@@ -13,5 +13,5 @@
 }
 
 .main-nav li::marker {
-  content: './';
+  content: "./";
 }
diff --git a/static/styles/risotto/layout.css b/static/styles/risotto/layout.css
index f26b4cc9..78423b40 100644
--- a/static/styles/risotto/layout.css
+++ b/static/styles/risotto/layout.css
@@ -5,10 +5,10 @@
   margin: 1rem auto;
   display: grid;
   grid-template-areas:
-    'header'
-    'body'
-    'aside'
-    'footer';
+    "header"
+    "body"
+    "aside"
+    "footer";
   grid-template-columns: minmax(0, 1fr); /* https://css-tricks.com/preventing-a-grid-blowout/ */
   grid-row-gap: 2rem;
 }
@@ -16,9 +16,9 @@
 @media (min-width: 45rem) {
   .page {
     grid-template-areas:
-      'header  header'
-      'body    aside'
-      'footer  footer';
+      "header  header"
+      "body    aside"
+      "footer  footer";
     grid-template-columns: minmax(0, 1fr) 15rem;
     grid-column-gap: 2rem;
   }
diff --git a/static/styles/risotto/logo.css b/static/styles/risotto/logo.css
index 2be8ab09..7c72f471 100644
--- a/static/styles/risotto/logo.css
+++ b/static/styles/risotto/logo.css
@@ -28,11 +28,11 @@ a.page__logo-inner:active {
 }
 
 .page__logo-inner:before {
-  content: '[';
+  content: "[";
   color: var(--bg);
 }
 
 .page__logo-inner:after {
-  content: '] $';
+  content: "] $";
   color: var(--bg);
 }
diff --git a/static/styles/risotto/risotto.css b/static/styles/risotto/risotto.css
index 9c5a3132..47842f05 100644
--- a/static/styles/risotto/risotto.css
+++ b/static/styles/risotto/risotto.css
@@ -1,10 +1,10 @@
-@import 'colours.css';
-@import 'typography.css';
-@import 'layout.css';
-@import 'header.css';
-@import 'logo.css';
-@import 'about.css';
-@import 'footer.css';
+@import "colours.css";
+@import "typography.css";
+@import "layout.css";
+@import "header.css";
+@import "logo.css";
+@import "about.css";
+@import "footer.css";
 
 body {
   background-color: var(--bg);
diff --git a/static/styles/risotto/typography.css b/static/styles/risotto/typography.css
index 6dc1c581..0fda898d 100644
--- a/static/styles/risotto/typography.css
+++ b/static/styles/risotto/typography.css
@@ -1,6 +1,6 @@
 /* Fonts */
 :root {
-  --font-monospace: 'Fira Mono', monospace;
+  --font-monospace: "Fira Mono", monospace;
 }
 
 body {
@@ -40,22 +40,22 @@ h5 + h6 {
 }
 
 h1:before {
-  content: '# ';
+  content: "# ";
 }
 h2:before {
-  content: '## ';
+  content: "## ";
 }
 h3:before {
-  content: '### ';
+  content: "### ";
 }
 h4:before {
-  content: '#### ';
+  content: "#### ";
 }
 h5:before {
-  content: '##### ';
+  content: "##### ";
 }
 h6:before {
-  content: '###### ';
+  content: "###### ";
 }
 
 h1:before,
@@ -108,7 +108,7 @@ ol ol {
 }
 
 ul li::marker {
-  content: '∗\00A0';
+  content: "∗\00A0";
   color: var(--muted);
 }
 
@@ -143,13 +143,13 @@ blockquote {
 blockquote::before {
   position: absolute;
   left: -1.5rem;
-  content: '>';
+  content: ">";
   color: var(--muted);
 }
 
 .twitter-tweet::before {
-  content: '\f099';
-  font-family: 'Font Awesome 5 Brands';
+  content: "\f099";
+  font-family: "Font Awesome 5 Brands";
   font-weight: 400;
 }
 
@@ -189,7 +189,7 @@ hr {
 }
 
 hr:after {
-  content: '---';
+  content: "---";
   color: var(--muted);
 }