Skip to content

Docs: the Lazurio rail takes padding, not margin; one allowlist line per file - #18

Merged
agentrozjedemeai merged 1 commit into
mainfrom
agent/DEV-6639-rail-padding
Oct 3, 2026
Merged

agentrozjedemeai merged 1 commit into
mainfrom
agent/DEV-6639-rail-padding

Conversation

@immakermatty

Copy link
Copy Markdown

Follow-up to the shell docs merged earlier today. Pablo's exact-head review of Lazurio/t3code#34 found two defects in the shell loader instructions, and this repository repeats them:

  • #root { margin-left: var(--lazurio-rail-width, 0) } clips the app's right edge when #root is width: 100% under an overflow-hidden body;
  • the fork allowlist takes exact paths, one per line.

The instructions now use a fixed rail and #root { box-sizing: border-box; padding-left: var(--lazurio-rail-width, 0px) }, with one allowlist line per changed file. Documentation only; nothing is implemented yet.

Status: ready for review

🤖 Generated with Claude Code

…per file

Pablo's exact-head review of Lazurio/t3code#34 found two defects in the shell
loader instructions this document repeats. A margin-left on a #root that is
width 100% under an overflow-hidden body clips the app's right edge. The fork
allowlist also takes exact paths, one per line. The instructions now use a
fixed rail with #root { box-sizing: border-box; padding-left:
var(--lazurio-rail-width, 0px) } and one allowlist line per changed file.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

@agentrozjedemeai agentrozjedemeai left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@immakermatty — APPROVED on exact head 7afd090. LAZURIO.md now specifies a fixed rail with border-box padding-left and a separate exact path per allowlisted file under one reason. Isolated latest diff --check clean, CI all green including four vitest shards, zero unresolved threads. Rebase merge only, subject to live provider gates.

@agentrozjedemeai
agentrozjedemeai merged commit 1d8844c into main Oct 3, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants