From be3755e50eb5eef9798527048ec0d22894964fa6 Mon Sep 17 00:00:00 2001 From: mirivlad Date: Tue, 14 Jul 2026 23:25:43 +0800 Subject: [PATCH] chore: remove unused plugin manager style --- frontend/src/lib/plugin-manager/PluginManager.svelte | 1 - 1 file changed, 1 deletion(-) diff --git a/frontend/src/lib/plugin-manager/PluginManager.svelte b/frontend/src/lib/plugin-manager/PluginManager.svelte index 27d01d7..5ee70d3 100644 --- a/frontend/src/lib/plugin-manager/PluginManager.svelte +++ b/frontend/src/lib/plugin-manager/PluginManager.svelte @@ -585,7 +585,6 @@ .hint { font-size: 0.85rem; margin-top: 0.5rem; opacity: 0.7; } .hint-list { list-style: none; padding: 0; margin: 0.5rem 0; font-size: 0.8rem; opacity: 0.7; } .hint-list li { margin: 0.25rem 0; } - .hint code { background: #0f3460; padding: 0.1rem 0.3rem; border-radius: 3px; } .plugin-list { display: flex; flex-direction: column; gap: 0.75rem; margin-bottom: 1.5rem; min-width: 0; } .missing-section { margin-bottom: 1.5rem; }