agent terminal: take up real screen space
terminal height is now min(72vh, 60em) instead of a 32em strip — on a 1080p screen that's ~3x more visible lines. body max-width raised to 110em so a wide window doesn't waste the available width on the margin.
This commit is contained in:
parent
48ebfefd1a
commit
875a8f5be4
1 changed files with 5 additions and 2 deletions
|
|
@ -15,7 +15,7 @@ body {
|
||||||
background: var(--bg);
|
background: var(--bg);
|
||||||
color: var(--fg);
|
color: var(--fg);
|
||||||
font-family: "JetBrains Mono", "Fira Code", "Cascadia Code", "Source Code Pro", monospace;
|
font-family: "JetBrains Mono", "Fira Code", "Cascadia Code", "Source Code Pro", monospace;
|
||||||
max-width: 70em;
|
max-width: 110em;
|
||||||
margin: 1.5em auto;
|
margin: 1.5em auto;
|
||||||
padding: 0 1.5em;
|
padding: 0 1.5em;
|
||||||
line-height: 1.6;
|
line-height: 1.6;
|
||||||
|
|
@ -148,7 +148,10 @@ pre.diff {
|
||||||
border-radius: 0;
|
border-radius: 0;
|
||||||
padding: 0.8em 1em 0.4em;
|
padding: 0.8em 1em 0.4em;
|
||||||
overflow-y: auto;
|
overflow-y: auto;
|
||||||
max-height: 32em;
|
/* Make the terminal the page's main visual element on tall screens
|
||||||
|
while staying inside the page chrome on short ones. */
|
||||||
|
height: min(72vh, 60em);
|
||||||
|
max-height: none;
|
||||||
font-family: inherit;
|
font-family: inherit;
|
||||||
font-size: inherit;
|
font-size: inherit;
|
||||||
color: inherit;
|
color: inherit;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue