Change Colour for [hr] Tag in Dark Theme

[Kie]

Minor change request here, but if the colour for the hr tag could be changed from black to literally any other lighter colour in dark themes (through CSS border-top), that would be great. It's currently rather hard to see, and a native change would be great for other users as well.

 

[Oeconomist]

This suggestion makes so much sense that it's nearly a bug report.