From 25d1b63c3c9c7b0970113f6b17cfe5ff039077d7 Mon Sep 17 00:00:00 2001 From: Lucas Date: Wed, 29 Mar 2023 15:04:33 +0200 Subject: [PATCH] Change the CSS the logo for the generated documentation is adaptive - Add a fixed width of the span - Add a 100% for the img in the span --- .../resources/dotty_res/styles/theme/layout/header.css | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/scaladoc/resources/dotty_res/styles/theme/layout/header.css b/scaladoc/resources/dotty_res/styles/theme/layout/header.css index cf3b91db2698..85e6b0240899 100644 --- a/scaladoc/resources/dotty_res/styles/theme/layout/header.css +++ b/scaladoc/resources/dotty_res/styles/theme/layout/header.css @@ -63,6 +63,14 @@ align-items: center; } +.logo-container .project-logo { + max-width: 40px; +} + +.logo-container .project-logo img { + max-width: 100%; +} + #mobile-menu-toggle { display: none; }