diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index dc0edfb..037060b 100644
--- 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
index e80bfec..c5c8805 100644
--- 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 {