diff options
| author | Philipp Krones <hello@philkrones.com> | 2025-03-20 22:34:29 +0100 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2025-03-20 22:34:29 +0100 |
| commit | ae31f7a024dbc601b7323d95a086acd70f00a723 (patch) | |
| tree | 6eb5b07deb7bdee6c25ecdd85dd344df49ed53bc /src/tools/clippy/util | |
| parent | d8e44b722a93e55cbc9a8188dfbfe3faf1226096 (diff) | |
| parent | 1e5237f4a56ae958af7e5824343eacf737b67083 (diff) | |
| download | rust-ae31f7a024dbc601b7323d95a086acd70f00a723.tar.gz rust-ae31f7a024dbc601b7323d95a086acd70f00a723.zip | |
Merge commit '1e5237f4a56ae958af7e5824343eacf737b67083' into clippy-subtree-update
Diffstat (limited to 'src/tools/clippy/util')
| -rw-r--r-- | src/tools/clippy/util/gh-pages/index_template.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/tools/clippy/util/gh-pages/index_template.html b/src/tools/clippy/util/gh-pages/index_template.html index a9b64628003..19dc1ec0b0c 100644 --- a/src/tools/clippy/util/gh-pages/index_template.html +++ b/src/tools/clippy/util/gh-pages/index_template.html @@ -19,10 +19,10 @@ Otherwise, have a great day =^.^= <link id="githubDarkHighlight" rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.6.0/styles/github-dark.min.css" disabled="true" /> {# #} <!-- The files are not copied over into the Clippy project since they use the MPL-2.0 License --> - <link rel="stylesheet" href="https://rust-lang.github.io/mdBook/css/variables.css"/> {# #} - <link id="styleHighlight" rel="stylesheet" href="https://rust-lang.github.io/mdBook/highlight.css"> {# #} - <link id="styleNight" rel="stylesheet" href="https://rust-lang.github.io/mdBook/tomorrow-night.css" disabled="true"> {# #} - <link id="styleAyu" rel="stylesheet" href="https://rust-lang.github.io/mdBook/ayu-highlight.css" disabled="true"> {# #} + <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/rust-lang/mdBook@0.4.46/src/theme/css/variables.css"/> {# #} + <link id="styleHighlight" rel="stylesheet" href="https://cdn.jsdelivr.net/gh/rust-lang/mdBook@0.4.46/src/theme/highlight.css"> {# #} + <link id="styleNight" rel="stylesheet" href="https://cdn.jsdelivr.net/gh/rust-lang/mdBook@0.4.46/src/theme/tomorrow-night.css" disabled="true"> {# #} + <link id="styleAyu" rel="stylesheet" href="https://cdn.jsdelivr.net/gh/rust-lang/mdBook@0.4.46/src/theme/ayu-highlight.css" disabled="true"> {# #} <link rel="stylesheet" href="style.css"> {# #} <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.6.0/highlight.min.js" defer></script> {# #} <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.6.0/languages/rust.min.js" defer></script> {# #} |