Nicer styles for <kbd>

It seems #677 never actually got merged into master
This commit is contained in:
Aaron Carlisle 2020-06-26 19:50:40 -04:00 committed by GitHub
parent fd83875eef
commit 27f8c68c42
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -94,9 +94,9 @@
font-family: $code-font-family
font-size: 12px
line-height: 1.4
// Do not allow selection of code block prompts
div.highlight .gp
div.highlight .gp
user-select: none
pointer-events: none
@ -481,7 +481,16 @@
font-weight: 700
border-radius: $base-line-height / 6
padding: $base-line-height / 10 $base-line-height / 4
margin: auto $base-line-height / 12
margin: auto 0
kbd, .kbd
color: inherit
font-size: 80%
background-color: lighten($text-light, 30%)
border: 1px solid darken($text-light, 5%)
border-radius: $base-line-height / 6
box-shadow: grey 0px $base-line-height / 12
padding: $base-line-height / 10 $base-line-height / 4
margin: auto 0
.versionmodified
font-style: italic