added css to make the hr elements look like they do for bootstrap w/ burnettk (#320)

Co-authored-by: jasquat <jasquat@users.noreply.github.com>
This commit is contained in:
jasquat 2023-06-09 11:50:42 -04:00 committed by GitHub
parent d83bddd96e
commit a6ce92abb1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 0 deletions

View File

@ -582,3 +582,16 @@ svg.notification-icon {
.version-info-column {
width: 50%;
}
/* From bootstrap _reboot.scss, people got used to this when we
* had the bootstrap stylesheets, and they liked it.
* Otherwise, the hr in the user profile dropdown shows up as a dot
* and from markdown it's a little darker.
*/
hr {
border: 0;
border-top: 1px solid;
color: inherit;
margin: 1rem 0;
opacity: .25;
}