diff options
| author | Michael Howell <michael@notriddle.com> | 2023-07-14 16:46:46 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2023-07-14 16:54:14 -0700 |
| commit | e72fba416014427d14f37fa9efb48ef6a6208bf3 (patch) | |
| tree | 8abfe85527065f1f6fb5a48dfb2652bb56d8f61a /src/librustdoc/html/static/css/rustdoc.css | |
| parent | 34bc8fbea3b72ce1f9254dbed85fddb2d7985f75 (diff) | |
| download | rust-e72fba416014427d14f37fa9efb48ef6a6208bf3.tar.gz rust-e72fba416014427d14f37fa9efb48ef6a6208bf3.zip | |
rustdoc: use `src` consistently over `source` in JavaScript
Since the directory that contains source files is called `src`, it makes sense to name the scripts that way, too.
Diffstat (limited to 'src/librustdoc/html/static/css/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index fa7a29be6d3..9209915895a 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1562,7 +1562,7 @@ However, it's not needed with smaller screen width because the doc/code block is /* WARNING: RUSTDOC_MOBILE_BREAKPOINT MEDIA QUERY If you update this line, then you also need to update the line with the same warning -in source-script.js +in src-script.js */ @media (max-width: 700px) { /* When linking to an item with an `id` (for instance, by clicking a link in the sidebar, |