Merge pull request #2158 from 808-cowbell/increase-hr-margins

Add 10px margin to top and bottom of hr element
pull/2154/head
syeopite 4 years ago committed by GitHub
commit f4c0ee49a7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -488,7 +488,7 @@ body.dark-theme {
the hr element is rendered improperly within one. the hr element is rendered improperly within one.
See https://stackoverflow.com/a/34372979 for more info */ See https://stackoverflow.com/a/34372979 for more info */
hr { hr {
margin: auto 0 auto 0; margin: 10px 0 10px 0;
} }
/* Description Expansion Styling*/ /* Description Expansion Styling*/

Loading…
Cancel
Save