diff options
Diffstat (limited to 'subprojects/docs/src/css/custom.css')
-rw-r--r-- | subprojects/docs/src/css/custom.css | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/subprojects/docs/src/css/custom.css b/subprojects/docs/src/css/custom.css index 9b839f53..82c0c972 100644 --- a/subprojects/docs/src/css/custom.css +++ b/subprojects/docs/src/css/custom.css | |||
@@ -16,7 +16,7 @@ | |||
16 | 'Helvetica', | 16 | 'Helvetica', |
17 | 'Arial', | 17 | 'Arial', |
18 | sans-serif; | 18 | sans-serif; |
19 | --ifm-fony-family-monospace: 'JetBrains Mono Variable', | 19 | --ifm-font-family-monospace: 'JetBrains Mono Variable', |
20 | 'JetBrains Mono', | 20 | 'JetBrains Mono', |
21 | 'Cascadia Code', | 21 | 'Cascadia Code', |
22 | 'Fira Code', | 22 | 'Fira Code', |
@@ -74,6 +74,13 @@ code { | |||
74 | font-variation-settings: 'wdth' 87.5; | 74 | font-variation-settings: 'wdth' 87.5; |
75 | } | 75 | } |
76 | 76 | ||
77 | .button--play::before { | ||
78 | content: '▶'; | ||
79 | display: inline-block; | ||
80 | transform: translatey(-0.1em); | ||
81 | padding-right: 1ch; | ||
82 | } | ||
83 | |||
77 | .button, .navbar__link { | 84 | .button, .navbar__link { |
78 | font-weight: 600; | 85 | font-weight: 600; |
79 | } | 86 | } |