Makes some code in the page to render using monospace font

gren-lang · Oct 30, 2024 · 4781d4d · 4781d4d
1 parent 16d0c77
commit 4781d4d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -1,2 +1,3 @@
 Robin Heggelund Hansen (robinheghan)
 Revath S Kumar (revathskumar)
+Luca Mugnaini (lucamug)
diff --git a/public/style.css b/public/style.css
@@ -152,7 +152,8 @@ main > .content > #module-docs > .block {
 
 main > .content > #module-docs > .block .definition {
   display: inline-block;
-  font-size: 2rem;
+  font-size: 1.5rem;
+  font-family: monospace;
 }
 
 main > .content > #module-docs > .union .definition .indented:last-child {