功能请求：
能否在 /docs 页面的 <body> 标签中添加一个 docs 类？
这样就可以使用 CSS 仅自定义 docs 页面的标题。
已通过一种丑陋的方式解决：
<script type="text/discourse-plugin" version="0.8">
api.onPageChange((url) => {
if(window.location.pathname == "/docs") {
document.querySelector("body").classList.add("docs");
}
else {
document.querySelector("body").classList.remove("docs");
}
})
</script>
放在这里：
