From f3ee7f429cb7dad5b4ec1ab0a20e0a0d2ab87b75 Mon Sep 17 00:00:00 2001 From: "jeremy@jermolene.com" Date: Mon, 18 Apr 2022 11:28:22 +0100 Subject: [PATCH] Site menu: Adjust spacing of current site --- editions/tw5.com/tiddlers/_tw_shared/styles.tid | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/editions/tw5.com/tiddlers/_tw_shared/styles.tid b/editions/tw5.com/tiddlers/_tw_shared/styles.tid index 8759b708c..f50bcdd86 100644 --- a/editions/tw5.com/tiddlers/_tw_shared/styles.tid +++ b/editions/tw5.com/tiddlers/_tw_shared/styles.tid @@ -19,14 +19,13 @@ code-body: yes padding-left: 0; } -.tc-sites-menu ol li a, -.tc-sites-menu ol li .tc-sites-menu-disabled { +.tc-sites-menu ol li a { padding-top: 0.25em; padding-bottom: 0.25em; } .tc-sites-menu ol li .tc-sites-menu-disabled { - padding: 0 14px 0 14px; + padding: 0.25em 14px 0.25em 14px; } .tc-sites-menu-this-site {