increase font size for lead paragraph

diff --git a/src/css/doc.css b/src/css/doc.css
index 12d1c46..952ca2e 100644 (file)
--- a/src/css/doc.css
+++ b/src/css/doc.css
@@ -143,6 +143,10 @@
   margin: 0;
 }
 
+.doc .paragraph.lead > p {
+  font-size: calc(18 / var(--rem-base) * 1rem);
+}
+
 .doc .right {
   float: right;
 }