/* ==========================================================================
   Shared terminal window chrome (title bar + traffic-light dots).
   ========================================================================== */

.terminal {
	background-color: var(--color-panel);
	border: var(--border-default);
	border-radius: var(--radius-md);
	box-shadow: var(--shadow-window);
	overflow: hidden;
}

.terminal__bar {
	padding: var(--space-12) var(--space-16);
	background-color: var(--color-bg);
	border-bottom: var(--border-default);
}

.terminal__title {
	color: var(--color-text-muted);
	font-size: var(--font-size-xs);
}

.terminal__dots {
	gap: var(--space-8);
}

.terminal__dot {
	width: 12px;
	height: 12px;
	border-radius: 50%;
	display: block;
}

.terminal__dot--red { background-color: var(--color-dot-red); }
.terminal__dot--yellow { background-color: var(--color-dot-yellow); }
.terminal__dot--green { background-color: var(--color-dot-green); }

.terminal__body {
	padding: var(--space-24);
}