From b40b81bf9866b023ca69a5c168df8c7183a3e1d7 Mon Sep 17 00:00:00 2001 From: Lost Paul <70213368+LostPaul@users.noreply.github.com> Date: Wed, 26 Jul 2023 22:16:54 +0200 Subject: [PATCH] Modified excluded folders list style --- src/settings.ts | 1 + styles.css | 7 +++++++ 2 files changed, 8 insertions(+) diff --git a/src/settings.ts b/src/settings.ts index c1e4b44..8377839 100644 --- a/src/settings.ts +++ b/src/settings.ts @@ -466,6 +466,7 @@ export class SettingsTab extends PluginSettingTab { const manageExcluded = new Setting(containerEl) .setHeading() + .setClass('fn-excluded-folder-heading') .setName('Manage excluded folders'); const desc3 = document.createDocumentFragment(); desc3.append( diff --git a/styles.css b/styles.css index e06c5e5..b9e0915 100644 --- a/styles.css +++ b/styles.css @@ -48,8 +48,15 @@ cursor: pointer; } +.fn-excluded-folder-heading { + margin-top: 0 !important; + border-top: 1px solid var(--background-modifier-border); +} + .add-exclude-folder-item { padding-bottom: 0 !important; + border-top: 0 !important; + padding-top: 0 !important; } .fn-exclude-folder-list {