The styling issue with the Content Editor's 'Properties' tab has now been fixed - the scroll bar is once again visible.