Instead, just rely on the CSS gadget; we can stop using wide-separators, separator-height and separator-width, and at the same time deprecate the space-size style property of GtkToolbar.
This commit adds a few missing private headers, and cleans up some irregularities in the existing ones