Improve the configurability of separator in the UI

Hello all,

@mleduc & all:

what do you think it should happen to horizontal lines added in the content of a page by users?

Should they follow the color of the separator or should they be colored differently? btw, what color are they today, @text-color ?