Add 10px margin to top and bottom of hr element

This commit is contained in:
Graham 2021-06-14 12:24:01 -06:00 committed by GitHub
parent 31466785ad
commit 908bc7561b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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