From c757bd253bc79304aee162eaae53fcd1eb16ca8a Mon Sep 17 00:00:00 2001 From: lxsang Date: Fri, 26 Jun 2020 16:51:07 +0200 Subject: [PATCH] increase document font size --- blog/assets/style.css | 4 ++-- doc/assets/style.css | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/blog/assets/style.css b/blog/assets/style.css index 32fb127..c808ba6 100644 --- a/blog/assets/style.css +++ b/blog/assets/style.css @@ -2,7 +2,7 @@ html,body{ margin: 0; padding: 0; font-family: "Ubuntu"; - font-size: 13px; + font-size: 14px; line-height: 1.5; width: 100%; height: 100%; @@ -54,7 +54,7 @@ html,body{ text-align: center; color:#878887; background-color: white; - font-size: 12px; + font-size: 13px; width: 100%; padding:5px; border-top: 1px solid #878887; diff --git a/doc/assets/style.css b/doc/assets/style.css index e6660f5..1c7c920 100644 --- a/doc/assets/style.css +++ b/doc/assets/style.css @@ -2,7 +2,7 @@ html,body{ margin: 0; padding: 0; font-family: "Ubuntu"; - font-size: 13px; + font-size: 14px; line-height: 1.5; width: 100%; height: 100%; @@ -24,7 +24,7 @@ html,body{ text-align: center; color:#878887; background-color: white; - font-size: 12px; + font-size: 13px; width: 100%; padding:5px; border-top: 1px solid #878887;