Added GitHub-style modal search palette to resource detail page

[Adarsh765-jpg]

Summary

Adds a GitHub-style modal search palette (Ctrl-K or /) to the resource detail page, allowing users to quickly search and navigate project resources without leaving the current page.

Fixes #870

Changes

• Added modal search interface with keyboard shortcuts (Ctrl-K, /)
• Integrated with existing AJAX resource search endpoint
• Keyboard navigation support (Arrow keys, Enter, Esc)
• Scoped styles and scripts to the resource detail template
• Added safety guards to prevent runtime errors

Features

• Ctrl-K or / to open search modal
• Live search as you type (300ms debounce)
• Smart search by filename, extension, or path
• Keyboard navigation with arrows + Enter
• Esc or click outside to close
• Loading and empty states

Testing

• Modal opens with Ctrl-K
• Search returns and displays results
• Keyboard navigation works correctly
• Esc key closes modal
• No JavaScript errors in console

Screenshots

[Adarsh765-jpg]

Waiting for the approval