From 91daec6891a3a42251749b9193d473817971491d Mon Sep 17 00:00:00 2001 From: John Fercher Date: Tue, 14 Nov 2023 00:32:04 -0300 Subject: [PATCH] Fix logo size with media query --- docs/css/theme.css | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/docs/css/theme.css b/docs/css/theme.css index 49d2c680..f6969b66 100644 --- a/docs/css/theme.css +++ b/docs/css/theme.css @@ -522,7 +522,12 @@ section.cover a { text-decoration: none; } section.cover p>img { - width: 20%; + width: 35%; +} +@media (min-width: 800px) { + section.cover p>img { + width: 18%; + } } section.cover a:hover { text-decoration: none;