顶栏按钮

顶栏目前有 6 个可交互的部件，根据编号依次介绍

1. 主页：即 os-checker.github.io，用于展示仓库诊断数量的树状汇总表格；
2. 问题文件树：展示所有诊断的原始输出，但以 pkg 内的文件树结构展示；
3. 统计图：展示可视化的统计数据，目前仅显示一个 pass/defect 仓库计数
   • pass 表示诊断数量为 0 的情况，说明没有检查出问题
   • defect 表示诊断数量非 0 的情况，说明检查出问题
4. 编译目标明细表：与编译目标参数相关的表格；
5. 编译目标下拉框：用于展示应用在所有仓库的所有编译目标上的诊断数量的总计，并与某些组件联动交互
   • 与主页表格联动，可以筛选该编译目标上的诊断数量；与问题文件树联动，可以筛选该编译目标上的诊断输出
   • 该下拉框每一项都是 rustc/cargo 支持的 --target 参数（但除了 All-Targets，它是 os-checker 在编译目标统计中的汇总项，也是默认展示的选项）
6. 帮助说明：链接到此文档；
7. 主题切换：默认为系统明暗主题；但点击过该按钮的话，会记录切换后的主题，并在以后访问时，应用该主题。