/* Pin button styles */
.tab-pin-toggle {
	display: inline-flex;
	align-items: center;
	justify-content: center;
	width: 18px;
	height: 18px;
	margin-left: 6px;
	opacity: var(--tab-pin-initial-opacity, 0.7);
	cursor: pointer;
}
.workspace-tab-header:hover .tab-pin-toggle { opacity: var(--tab-pin-hover-opacity, 1); }
.tab-pin-toggle.is-pinned svg { transform: rotate(-35deg); }
.tab-pin-toggle:focus { outline: 2px solid var(--interactive-accent); outline-offset: 2px; }