🔍 グローバルヘッダーに検索機能を再追加する

[yasulab]

#907 のグローバルヘッダー改修に伴って、検索フィールドをいったん閉じてしまったので、検索機能をまた使えるようにしたい 🔍 👀💨✨ cc/ @yuki384 @Yuppymam

Kata のヘッダーにある検索フィールドについては何か別の方法を考えたい 🤔💭 とはいえ今のところあまり使われていない (デザイン上の配置が悪いだけ?) ので、一旦は後回しにしても良さそう 😌

パッと思いつくところだと検索アイコン 🔍 とかが良さそう...?

cf. ヘッダーの「Kata」を Dropdown メニューにして、Kata ページのヘッダーと共通化させたい #867

[yasulab]

@yuki384 ☝️ そういえばコチラの件、coderdojo.jp 内のコンテンツも増えてきたのでどこかで対応していただけると嬉しいです (＞人＜ )✨

参考コード

• Kata ページのヘッダーを共通化 #907 による変更箇所: https://github.com/coderdojo-japan/coderdojo.jp/pull/907/files
• Enable DocSearch in Kata powered by Algolia #400