diff options
-rw-r--r-- | docs/style.css | 33 |
1 files changed, 20 insertions, 13 deletions
diff --git a/docs/style.css b/docs/style.css index fb0ecde..eb02d08 100644 --- a/docs/style.css +++ b/docs/style.css | |||
@@ -1,6 +1,7 @@ | |||
1 | @import url('https://rsms.me/inter/inter.css'); | 1 | @import url('https://rsms.me/inter/inter.css'); |
2 | @import url(https://cdn.jsdelivr.net/gh/tonsky/FiraCode@3/distr/fira_code.css); | ||
2 | 3 | ||
3 | .hot-links { | 4 | div.hot-links { |
4 | float: right; | 5 | float: right; |
5 | padding: 0.3rem 0rem; | 6 | padding: 0.3rem 0rem; |
6 | margin: -0.5rem 0; | 7 | margin: -0.5rem 0; |
@@ -35,12 +36,12 @@ | |||
35 | 36 | ||
36 | @media (prefers-color-scheme: dark) { | 37 | @media (prefers-color-scheme: dark) { |
37 | :root { | 38 | :root { |
38 | --cyan: #79ffe1; | 39 | --cyan: #79ffe1; |
39 | --pink: #ff3299; | 40 | --pink: #ff3299; |
40 | --black: #dedede; | 41 | --black: #dedede; |
41 | --light-black: #ccc; | 42 | --light-black: #ccc; |
42 | --white: #000; | 43 | --white: #000; |
43 | --dark-white: #323232; | 44 | --dark-white: #323232; |
44 | } | 45 | } |
45 | ::-moz-selection, ::selection { | 46 | ::-moz-selection, ::selection { |
46 | color: var(--white); | 47 | color: var(--white); |
@@ -137,7 +138,13 @@ pre:not(.sourceCode),div.sourceCode { | |||
137 | } | 138 | } |
138 | 139 | ||
139 | pre, code { | 140 | pre, code { |
140 | font-family: monospace; | 141 | font-family: 'Fira Code', monospace; |
142 | } | ||
143 | |||
144 | @supports (font-variation-settings: normal) { | ||
145 | pre, code { | ||
146 | font-family: 'Fira Code VF', monospace; | ||
147 | } | ||
141 | } | 148 | } |
142 | 149 | ||
143 | code { | 150 | code { |
@@ -221,11 +228,11 @@ hr { | |||
221 | font-style: italic; | 228 | font-style: italic; |
222 | 229 | ||
223 | display:inline-block; | 230 | display:inline-block; |
224 | -webkit-transform:scale(1,1.2); | 231 | -webkit-transform:scale(1,1.2); |
225 | -moz-transform:scale(1,1.2); | 232 | -moz-transform:scale(1,1.2); |
226 | -ms-transform:scale(1,1.2); | 233 | -ms-transform:scale(1,1.2); |
227 | -o-transform:scale(1,1.2); | 234 | -o-transform:scale(1,1.2); |
228 | transform:scale(1,1.2); | 235 | transform:scale(1,1.2); |
229 | } | 236 | } |
230 | 237 | ||
231 | a, a:hover, a:visited, a:active { | 238 | a, a:hover, a:visited, a:active { |