theme: workspace pager in overview