From e63626b8731bec49bf7abb904b3da46a80c631aa Mon Sep 17 00:00:00 2001 From: shy Date: Fri, 24 Nov 2023 20:22:04 +0800 Subject: [PATCH] add some --- core/wiki/portal.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/core/wiki/portal.css b/core/wiki/portal.css index 9047a4ee..4912ad43 100644 --- a/core/wiki/portal.css +++ b/core/wiki/portal.css @@ -1,4 +1,7 @@ -fieldset.web.wiki.portal { --portal-max-width:1200px; --portal-header-height:64px; --portal-main-padding:40px; --plugin-radius:10px; } +fieldset.web.wiki.portal { + --portal-max-width:1200px; --portal-header-height:64px; --portal-main-padding:40px; --plugin-radius:10px; + --code-font-size:14px; --code-line-height:20px; +} fieldset.web.wiki.portal.home { --portal-max-width:1500px; } fieldset.web.wiki.portal>div.output { padding:0; } fieldset.web.wiki.portal>div.output>div.header { background-color:rgb(22 31 49); height:var(--portal-header-height); --hover-bg-color:var(--plugin-bg-color); }