divider.rs: Change the margins around the divider
This changes the margins' values around the divider to make it more visually pleasing.
See #133 (closed)
This changes the margins' values around the divider to make it more visually pleasing.
See #133 (closed)