fix: 문서 탐색기 raw HTML escape + 높이 보정

- marked.js html renderer 오버라이드: 터미널 덤프에 포함된
  <div class="hidden"> 등 raw HTML이 DOM을 깨는 현상 방지
- .docs-layout height calc(100vh - 116px) → calc(100vh - 126px)
  (pane-hdr 높이 정확히 반영)

src/Web/wwwroot/css/docs.css

@@ -16,7 +16,7 @@
 .docs-layout {
   display: flex;
   gap: 0;
-  height: calc(100vh - 116px);
+  height: calc(100vh - 126px);
   min-height: 560px;
   border: 1px solid var(--bd);
   border-radius: var(--r);

src/Web/wwwroot/js/docs.js

@@ -430,6 +430,10 @@ function docsEnsureMdLibs() {
     docsLoadCss('/lib/highlight-github.min.css');
     docsLoadCss('/lib/katex/katex.min.css');
     await docsLoadScript('/lib/marked.min.js');
+    // raw HTML escape — 터미널 덤프에 포함된 <div class="hidden"> 등이 DOM을 깨는 것 방지
+    marked.use({
+      renderer: { html: s => s.replace(/</g, '&lt;').replace(/>/g, '&gt;') }
+    });
     await docsLoadScript('/lib/purify.min.js');
     await docsLoadScript('/lib/highlight.min.js');
     await docsLoadScript('/lib/katex/katex.min.js');