.workspace-indicator-shorter {
	min-width: 25px;
	font-size: 10pt;
}
.panel-workspace-indicator {
	padding: 0 8px;
	background-color: rgba(200, 200, 200, .5);
	border: 1px solid #cccccc;
}