添加暗/ 淡主题切换

□ 总结

后续为#2653 (暗地主题重新设计):一旦一个暗地主题着陆作为默认,则会增加一个切换,这样用户可以根据需要在暗地主题和光地主题之间切换,而不是被锁入一个单一的主题.

□提议

• 在导航栏中切换控制(通过共享布局在每个页面上可见),在暗和光模式之间切换.
• 坚持每个浏览器选定的主题(例如通过`localStorage'),因此,在会话和页面负荷中都记住它。
• 立即应用,没有整页 重新装入在实用。
• 两个主题共用相同的布局/标记 - 只有颜色符号改变,所以这不需要复制模板.

□动机

主题偏好是主观的并依环境而定(环境照明,个人偏好,演示时的屏幕共享等). 发运只解决了大多数用户在#2653中提出的问题,但一取一取却让它为所有人服务而不强制选择.

□计划

这建立在从#2653起的分行上方(切换需要暗的主题符号先存在),因此其PR会被打开来对抗同个基数并可能在#2653合并前后着陆.