minor changes on workspace's css