From 89db7ed02469eaa3a2520264aea804a35cdd01cc Mon Sep 17 00:00:00 2001 From: Mario Zechner Date: Thu, 1 Jan 2026 21:34:07 +0100 Subject: [PATCH] Fix export HTML styling issues - Match help-bar font size (11px) with header-info - Add newline after 'Available Tools' header - Remove excessive margin-top from tool-output --- packages/coding-agent/src/core/export-html/template.css | 4 ++-- todo.md | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/packages/coding-agent/src/core/export-html/template.css b/packages/coding-agent/src/core/export-html/template.css index 9fba6841..7ade958b 100644 --- a/packages/coding-agent/src/core/export-html/template.css +++ b/packages/coding-agent/src/core/export-html/template.css @@ -218,7 +218,7 @@ /* Help bar */ .help-bar { - font-size: 12px; + font-size: 11px; color: var(--warning); margin-bottom: var(--line-height); } @@ -363,7 +363,6 @@ } .tool-output { - margin-top: var(--line-height); color: var(--toolOutput); white-space: pre-wrap; word-wrap: break-word; @@ -516,6 +515,7 @@ .tools-header { font-weight: bold; color: var(--warning); + margin-bottom: var(--line-height); } .tool-item { diff --git a/todo.md b/todo.md index 6085676c..e20c7aaf 100644 --- a/todo.md +++ b/todo.md @@ -1,6 +1,6 @@ # Export HTML TODOs -- [ ] "Ctrl+T toggle thinking · Ctrl+O toggle tools" font size is not the same as all the other font sizes +- [x] "Ctrl+T toggle thinking · Ctrl+O toggle tools" font size is not the same as all the other font sizes - [ ] System prompt doesn't show included AGENTS.md, skills. See `packages/coding-agent/src/core/system-prompt.ts`. Can only be done if we export live from a session, not via `--export` CLI flag -- [ ] "Available Tools" has no newline after it -- [ ] `read` tool has too much vertical spacing between tool call header and tool result, and also with tool bottom border +- [x] "Available Tools" has no newline after it +- [x] `read` tool has too much vertical spacing between tool call header and tool result, and also with tool bottom border