diff options
| author | Michael Howell <michael@notriddle.com> | 2023-09-07 18:45:24 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2023-10-11 10:26:36 -0700 |
| commit | 0983438faa0431eb392be1d8ea9761fe4b1e90e2 (patch) | |
| tree | 6f929fb8f70645811b49d7309a715d72ae496c1f /src/librustdoc/html/templates | |
| parent | 3c23df49352264938a726f6a586d6019e602c5cf (diff) | |
| download | rust-0983438faa0431eb392be1d8ea9761fe4b1e90e2.tar.gz rust-0983438faa0431eb392be1d8ea9761fe4b1e90e2.zip | |
rustdoc: allow resizing the sidebar
Diffstat (limited to 'src/librustdoc/html/templates')
| -rw-r--r-- | src/librustdoc/html/templates/page.html | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/librustdoc/html/templates/page.html b/src/librustdoc/html/templates/page.html index ebf817673bf..76cdb5eb38f 100644 --- a/src/librustdoc/html/templates/page.html +++ b/src/librustdoc/html/templates/page.html @@ -115,6 +115,7 @@ {% endif %} {{ sidebar|safe }} </nav> {# #} + <div class="sidebar-resizer"></div> <main> {# #} {% if page.css_class != "src" %}<div class="width-limiter">{% endif %} <nav class="sub"> {# #} @@ -129,6 +130,14 @@ {% endif %} <form class="search-form"> {# #} <span></span> {# This empty span is a hacky fix for Safari - See #93184 #} + {% if page.css_class != "src" %} + <div id="sidebar-button" tabindex="-1"> {# #} + <a href="{{page.root_path|safe}}{{layout.krate|safe}}/all.html" title="show sidebar"> {# #} + <img width="22" height="22" alt="Show sidebar" {#+ #} + src="{{static_root_path|safe}}{{files.sidebar_svg}}"> {# #} + </a> {# #} + </div> {# #} + {% endif %} <input {#+ #} class="search-input" {#+ #} name="search" {#+ #} @@ -137,8 +146,8 @@ spellcheck="false" {#+ #} placeholder="Click or press ‘S’ to search, ‘?’ for more options…" {#+ #} type="search"> {# #} - <div id="help-button" title="help" tabindex="-1"> {# #} - <a href="{{page.root_path|safe}}help.html">?</a> {# #} + <div id="help-button" tabindex="-1"> {# #} + <a href="{{page.root_path|safe}}help.html" title="help">?</a> {# #} </div> {# #} <div id="settings-menu" tabindex="-1"> {# #} <a href="{{page.root_path|safe}}settings.html" title="settings"> {# #} |