aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/docs/src/css/custom.css
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/docs/src/css/custom.css')
-rw-r--r--subprojects/docs/src/css/custom.css9
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}