.workspace-indicator-shorter {
	min-width: 25px;
	font-size: 10pt;
}