765865c3b1
(there were several differences on color theme stored in startup.blend and colors after restoring them by Reset to Default Theme button). Should be no other changes.