diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-01-20 22:32:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-20 22:32:41 +0100 |
| commit | fe811eb32883573416b3eaace532c2bcb5c10685 (patch) | |
| tree | 213176eb4008da1a13a52874390cd86479451d2b /src/librustdoc/html/static/styles/main.css | |
| parent | 15a1e2844dfea7850be5c6c901b67ceff370b0eb (diff) | |
| parent | 0c946c01795b8a3c05273805764ca5d90cb1af60 (diff) | |
| download | rust-fe811eb32883573416b3eaace532c2bcb5c10685.tar.gz rust-fe811eb32883573416b3eaace532c2bcb5c10685.zip | |
Rollup merge of #46938 - hellow554:rustdoc-kbd-style, r=GuillaumeGomez
add kbd style tag to main.css in rustdoc Added css style for kbd tags so they actually look like keys. Result preview and discussion was going on in #46900 .
Diffstat (limited to 'src/librustdoc/html/static/styles/main.css')
| -rw-r--r-- | src/librustdoc/html/static/styles/main.css | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/styles/main.css b/src/librustdoc/html/static/styles/main.css index c79413c0852..bd740562424 100644 --- a/src/librustdoc/html/static/styles/main.css +++ b/src/librustdoc/html/static/styles/main.css @@ -194,11 +194,6 @@ a.test-arrow { border-color: #bfbfbf; } -#help dt { - border-color: #bfbfbf; - background: #fff; -} - .since { color: grey; } @@ -348,3 +343,11 @@ pre.ignore:hover, .information:hover + pre.ignore { border-bottom-color: #e0e0e0; } } + +kbd { + color: #444d56; + background-color: #fafbfc; + border-color: #d1d5da; + border-bottom-color: #c6cbd1; + box-shadow-color: #c6cbd1; +} |