diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-12-20 13:28:55 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-12-24 18:19:36 +0100 |
| commit | dbcf68951c564f946ab0021c7699ea1a4bf861d0 (patch) | |
| tree | 9cece544cb93236c1ee9fd9ec562e423bace7299 /src/librustdoc/html/static/themes | |
| parent | 50f3d6eccb85a24a02b7c1daf5e242768dddf3b5 (diff) | |
Add no-crate filter option on rustdoc
Diffstat (limited to 'src/librustdoc/html/static/themes')
| -rw-r--r-- | src/librustdoc/html/static/themes/dark.css | 6 | ||||
| -rw-r--r-- | src/librustdoc/html/static/themes/light.css | 6 |
2 files changed, 10 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/themes/dark.css b/src/librustdoc/html/static/themes/dark.css index be3ffed2b26..f5c07dd85d1 100644 --- a/src/librustdoc/html/static/themes/dark.css +++ b/src/librustdoc/html/static/themes/dark.css @@ -194,7 +194,7 @@ a.test-arrow { .search-input { color: #111; - box-shadow: 1px 0 0 1px #000, 0 0 0 2px transparent; + box-shadow: 0 0 0 1px #000, 0 0 0 2px transparent; background-color: #f0f0f0; } @@ -202,6 +202,10 @@ a.test-arrow { border-color: #008dfd; } +#crate-search + .search-input { + box-shadow: 1px 0 0 1px #000, 0 0 0 2px transparent; +} + .stab.unstable { background: #FFF5D6; border-color: #FFC600; color: #404040; } .stab.internal { background: #FFB9B3; border-color: #B71C1C; color: #404040; } .stab.deprecated { background: #F3DFFF; border-color: #7F0087; color: #404040; } diff --git a/src/librustdoc/html/static/themes/light.css b/src/librustdoc/html/static/themes/light.css index 4ae10492ae6..446e765252f 100644 --- a/src/librustdoc/html/static/themes/light.css +++ b/src/librustdoc/html/static/themes/light.css @@ -195,7 +195,7 @@ a.test-arrow { .search-input { color: #555; - box-shadow: 1px 0 0 1px #e0e0e0, 0 0 0 2px transparent; + box-shadow: 0 0 0 1px #e0e0e0, 0 0 0 2px transparent; background-color: white; } @@ -203,6 +203,10 @@ a.test-arrow { border-color: #66afe9; } +#crate-search + .search-input { + box-shadow: 1px 0 0 1px #e0e0e0, 0 0 0 2px transparent; +} + .stab.unstable { background: #FFF5D6; border-color: #FFC600; } .stab.internal { background: #FFB9B3; border-color: #B71C1C; } .stab.deprecated { background: #F3DFFF; border-color: #7F0087; } |
