diff options
Diffstat (limited to 'website/manual.html')
| -rw-r--r-- | website/manual.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/website/manual.html b/website/manual.html index 6ac776770..3caa2c083 100644 --- a/website/manual.html +++ b/website/manual.html @@ -6,6 +6,7 @@ <link rel="shortcut icon" href="favicon.ico"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/default.min.css"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/github-gist.min.css"> + <link rel="stylesheet" media="(prefers-color-scheme: dark)" href="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/styles/monokai-sublime.min.css"> <script src="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/highlight.min.js"></script> <script src="https://cdn.jsdelivr.net/gh/highlightjs/cdn-release@9.14.2/build/languages/typescript.min.js"></script> <link rel="stylesheet" href="style.css" /> |