feat: doc strings on ctors and fields are not monospaced anymore

tydeu · May 11, 2023 · e888e9c · e888e9c
1 parent 007e03d
commit e888e9c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/static/style.css b/static/style.css
@@ -539,11 +539,13 @@ pre code { padding: 0 0; }
 .inductive_ctor_doc  {
     text-indent: 2ex;
     padding-top: 1ex;
+    font-family: 'Open Sans', sans-serif;
 }
 
 .structure_field_doc {
     text-indent: 0;
     padding-top: 1ex;
+    font-family: 'Open Sans', sans-serif;
 }
 
 .structure_ext_fields {