feat: make @YaelDillies happier

leanprover · Nov 11, 2023 · 756e5a0 · 756e5a0
1 parent 78e472a
commit 756e5a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/static/style.css b/static/style.css
@@ -673,7 +673,7 @@ main h2, main h3, main h4, main h5, main h6 {
 }
 
 .imports li, code, .decl_header, .attributes, .structure_field_info,
-        .constructor, .instances li, .equation, .result_link, .structure_ext_ctor {
+        .constructor, .instances li, .equation, .structure_ext_ctor {
     font-size: 16px;
     font-family: 'JuliaMono', monospace;
 }