From 756e5a0db8aef6f4d94a88951855f9f1e87bc74e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Sat, 11 Nov 2023 16:03:50 +0100 Subject: [PATCH] feat: make @YaelDillies happier --- static/style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/static/style.css b/static/style.css index ea3f6b9..b87d0f8 100644 --- 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; }