Session manager: done text color, other minor changes.