From ce227d91d83f5214215596e53cd8b4deb4210218 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sat, 6 Aug 2022 19:41:22 -0700 Subject: [PATCH] help.html: improve nav --- basis/help/html/stylesheet.css | 3 ++- extra/websites/concatenative/page.css | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css index 5be0f95bea..8470ce1560 100644 --- a/basis/help/html/stylesheet.css +++ b/basis/help/html/stylesheet.css @@ -46,10 +46,11 @@ nav { background-color: #f5f5f5; padding: 10px; padding-left: calc(max(50% - 400px, 10px)); + padding-right: calc(max(50% - 400px, 10px)); } nav a, nav .link { - margin-right: 5px; + margin-right: 10px; } nav img { diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css index 68ab09636c..ed95141e87 100644 --- a/extra/websites/concatenative/page.css +++ b/extra/websites/concatenative/page.css @@ -59,11 +59,11 @@ nav { padding-top: 10px; padding-bottom: 10px; padding-left: calc(max(50% - 500px, 15px)); - padding-right: 15px; + padding-right: calc(max(50% - 400px, 10px)); } nav a, nav .link { - margin-right: 5px; + margin-right: 10px; } nav img { -- 2.34.1