.panel-workspace-indicator {
	padding: 0 8px;
	background-color: rgba(200, 200, 200, .5);
	border: 1px solid #cccccc;
}