大家可以看到导航栏里现在能直接搜索题目。原来题目列表里的搜索框就删掉了。我没怎么调样式，如果不好看欢迎评论。

现在暂定的格式是 #123 跳转到第 123 题。直接搜 123 仍然和原来一样。（不一样，原来还能搜到题号为 1234 的，现在如果不是题目名称中有 123 就搜不到了）

然后现在支持 Chrome 的 tab to search。我没有测试其他浏览器（和其他平台上的 Chrome），如果有在其它网站上能用相应功能但在这里用不了的欢迎向我反映。

如果大家对搜索题目的格式有更好的想法欢迎评论，毕竟 shift + 3 的确不太好打。