fix: remove mobile terminal pull handle, tap terminal to toggle overlay

apps/web/src/pages/terminal.tsx

@@ -315,25 +315,10 @@ export const TerminalPage: React.FC = () => {
 					</div>
 				</div>
 
-				{/* Pull handle — visible when overlay is hidden */}
-				{!headerAutoHide.isVisible && (
-					<button
-						className="mobile-terminal-pull-handle"
-						onClick={(e) => {
-							e.stopPropagation();
-							headerAutoHide.show();
-						}}
-						type="button"
-						aria-label="Show toolbar"
-					>
-						<span className="mobile-terminal-pull-dots">•••</span>
-					</button>
-				)}
-
 				{/* Terminal content — always fills full viewport */}
 				<div
 					className="terminal-page-content mobile-full"
-					onClick={() => headerAutoHide.hide()}
+					onClick={() => headerAutoHide.toggle()}
 				>
 					{error && <div className="terminal-error-banner">{error}</div>}
 					{sessions

apps/web/src/styles.css

@@ -3077,33 +3077,6 @@ a.nav-item,
 	border-bottom: none;
 }
 
-/* Pull handle — shown when overlay is hidden */
-.mobile-terminal-pull-handle {
-	position: absolute;
-	top: 0;
-	left: 50%;
-	transform: translateX(-50%);
-	z-index: 99;
-	padding: 4px 16px;
-	background: #2d2d2d;
-	border: 1px solid #3e3e3e;
-	border-top: none;
-	border-radius: 0 0 12px 12px;
-	color: #888;
-	cursor: pointer;
-	font-size: 0.75rem;
-	line-height: 1;
-	transition: background 0.2s ease;
-}
-
-.mobile-terminal-pull-handle:hover {
-	background: #3e3e3e;
-}
-
-.mobile-terminal-pull-dots {
-	pointer-events: none;
-}
-
 /* Terminal content — always fills full viewport on mobile */
 .terminal-page-content.mobile-full {
 	flex: 1;