Docking: Added DockingSeparatorSize to style (#3481, #4721, #2522)

(DockingSplitterSize in current commit, about to be renamed)
3 files changed