diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/doc/rust.css | 22 | ||||
| m--------- | src/tools/cargo | 0 | ||||
| -rw-r--r-- | src/version | 2 |
3 files changed, 23 insertions, 1 deletions
diff --git a/src/doc/rust.css b/src/doc/rust.css index e0bf64c33bc..a93c1be7d7a 100644 --- a/src/doc/rust.css +++ b/src/doc/rust.css @@ -136,6 +136,28 @@ h1 a:link, h1 a:visited, h2 a:link, h2 a:visited, h3 a:link, h3 a:visited, h4 a:link, h4 a:visited, h5 a:link, h5 a:visited {color: black;} +h1, h2, h3, h4, h5 { + /* This is needed to be able to position the doc-anchor. Ideally there + would be a <div> around the whole document, but we don't have that. */ + position: relative; +} + +a.doc-anchor { + color: black; + display: none; + position: absolute; + left: -20px; + /* We add this padding so that when the cursor moves from the heading's text to the anchor, + the anchor doesn't disappear. */ + padding-right: 5px; + /* And this padding is used to make the anchor larger and easier to click on. */ + padding-left: 3px; +} +*:hover > .doc-anchor { + display: block; +} + + /* Code */ pre, code { diff --git a/src/tools/cargo b/src/tools/cargo -Subproject 3fe68eabf93cbf3772bbcad09a9206c783e2de3 +Subproject e52e360061cacbbeac79f7f1215a7a90b6f0844 diff --git a/src/version b/src/version index 79e15fd4937..b1131583c67 100644 --- a/src/version +++ b/src/version @@ -1 +1 @@ -1.77.0 +1.77.1 |