From 7bac8b401173010b54b0cc56289e807e4a0fc750 Mon Sep 17 00:00:00 2001 From: Tanner Date: Sat, 26 Sep 2026 00:48:55 +0000 Subject: [PATCH] Add Tools page search --- styles.css | 32 ++++++++++++ tools/index.html | 125 ++++++++++++++++++++++++++++++----------------- 2 files changed, 111 insertions(+), 46 deletions(-) diff --git a/styles.css b/styles.css index 55cc383..92176bc 100644 --- a/styles.css +++ b/styles.css @@ -379,6 +379,38 @@ footer p { } } +.tools-search { + margin: 0 0 32px; +} +.tools-search label { + display: block; + margin-bottom: 8px; + font-weight: 700; +} +.tools-search-controls { + display: flex; + gap: 8px; +} +.tools-search input { + min-width: 0; + flex: 1; + padding: 10px 12px; + border: 1px solid #0005; + border-radius: 4px; + font: inherit; +} +.tools-search button { + padding: 10px 16px; + border: 1px solid #0005; + border-radius: 4px; + background: #eee; + font: inherit; + cursor: pointer; +} +.tools-results-count { + font-size: 14px; + font-weight: 400; +} .tools-toc { margin: 32px 0; padding: 16px 20px; diff --git a/tools/index.html b/tools/index.html index 59f7fe5..9bbb220 100644 --- a/tools/index.html +++ b/tools/index.html @@ -84,10 +84,19 @@

Tools

- Browse the tools and equipment available to Protospace members. This catalog follows the - categories and ordering on the Protospace Wiki. + Browse the tools and equipment available to Protospace members. This catalog + comes from the Protospace Wiki.

-