機能リクエスト：
/docs ページで <body> タグに docs クラスを追加することは可能でしょうか？
これにより、CSS を使用してドキュメントページのみのヘッダーをカスタマイズできるようになります。
醜い方法で解決しました。
<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>
ここに置きました：
