CraterサイトはGoogle カスタム検索によるサイト内検索機能をサポートしています。
サイト管理者がGoogleカスタム検索をサイトに設定することで、ページ上部に検索ボタンが表示されるようになります。
Googleカスタム検索エンジンは無料で作ることが出来ます。
まず、新しい検索エンジンを作成ページで検索エンジンを作ります。
検索エンジンの名前は任意です。
「特定サイトまたはページを検索」にチェックを入れた状態で
[ドメイン名]/*
と入力した状態で追加ボタンを押します。
正しく追加が行われると↑のような状態になるので、確認ができたら作成を押します。
これでカスタム検索エンジンが作成されました。
カスタム検索エンジンの概要ページに行くと、検索エンジンIDが表示されています。
この検索エンジンIDをコピーし、Craterのサイトに設定をします。