style: Reduce terminal header height and button sizes

This commit is contained in:
Paul Gauthier (aider) 2025-03-13 17:46:29 -07:00
parent 16fc10fb0f
commit a3a92cd5dd

View file

@ -14,7 +14,7 @@ layout: minimal
background-color: #e0e0e0; background-color: #e0e0e0;
border-top-left-radius: 6px; border-top-left-radius: 6px;
border-top-right-radius: 6px; border-top-right-radius: 6px;
padding: 8px 12px; padding: 4px 10px;
display: flex; display: flex;
align-items: center; align-items: center;
border-bottom: 1px solid #c0c0c0; border-bottom: 1px solid #c0c0c0;
@ -22,13 +22,13 @@ layout: minimal
.terminal-buttons { .terminal-buttons {
display: flex; display: flex;
gap: 6px; gap: 4px;
margin-right: 12px; margin-right: 10px;
} }
.terminal-button { .terminal-button {
width: 12px; width: 10px;
height: 12px; height: 10px;
border-radius: 50%; border-radius: 50%;
} }
@ -51,7 +51,7 @@ layout: minimal
flex-grow: 1; flex-grow: 1;
text-align: center; text-align: center;
font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
font-size: 13px; font-size: 11px;
color: #666; color: #666;
} }