From 6602b3bf24a491b82dfa3d13deab6cd793018d3f Mon Sep 17 00:00:00 2001 From: Julio Estrada Date: Fri, 3 Oct 2025 12:29:13 -0400 Subject: [PATCH] fix: minor UI styling improvements - Update doc layout and typography styles - Refine header navigation appearance - Adjust main table content responsive behavior --- docs/ui/src/css/doc.css | 1 + docs/ui/src/css/header.css | 19 +++++++++---------- docs/ui/src/css/main.css | 10 ++++++---- 3 files changed, 16 insertions(+), 14 deletions(-) diff --git a/docs/ui/src/css/doc.css b/docs/ui/src/css/doc.css index d5162cfea..c8ea18a2c 100644 --- a/docs/ui/src/css/doc.css +++ b/docs/ui/src/css/doc.css @@ -281,6 +281,7 @@ .doc table.tableblock th, .doc table.tableblock td { padding: 0.5rem; + transition: background-color 0.2s ease-in-out; } .doc table.tableblock, diff --git a/docs/ui/src/css/header.css b/docs/ui/src/css/header.css index 9a01a3572..f4aa1fe05 100644 --- a/docs/ui/src/css/header.css +++ b/docs/ui/src/css/header.css @@ -103,15 +103,14 @@ body { .navbar-burger span { background-color: var(--navbar-font-color); - height: 1.5px; + height: 2px; width: 1rem; -} - -.navbar-burger:not(.is-active) span { + transform-origin: center; + backface-visibility: hidden; transition: - transform ease-out 0.25s, - opacity 0s 0.25s, - margin-top ease-out 0.25s 0.25s; + transform 0.25s ease, + opacity 0.25s ease, + margin-top 0.25s ease; } .navbar-burger span + span { @@ -119,11 +118,11 @@ body { } .navbar-burger.is-active span + span { - margin-top: -1.5px; + margin-top: -2px; } .navbar-burger.is-active span:nth-child(1) { - transform: rotate(45deg); + transform: rotate(45deg) translateY(0.5px); } .navbar-burger.is-active span:nth-child(2) { @@ -131,7 +130,7 @@ body { } .navbar-burger.is-active span:nth-child(3) { - transform: rotate(-45deg); + transform: rotate(-45deg) translateY(-0.5px); } .navbar-item, diff --git a/docs/ui/src/css/main.css b/docs/ui/src/css/main.css index 83a333cfe..33f1e4031 100644 --- a/docs/ui/src/css/main.css +++ b/docs/ui/src/css/main.css @@ -3,15 +3,17 @@ body.-toc aside.toc.sidebar { } @media screen and (max-width: 1023.5px) { - aside.toc.sidebar { - display: none; - } - main > .content { overflow-x: auto; } } +@media screen and (max-width: 1300px) { + aside.toc.sidebar { + display: none; + } +} + @media screen and (min-width: 1024px) { main { flex: auto;