Rollup merge of #74361 - GuillaumeGomez:theme-logo, r=Manishearth

[rust.git] / src / librustdoc / html / static / themes / dark.css

diff --git a/src/librustdoc/html/static/themes/dark.css b/src/librustdoc/html/static/themes/dark.css
index 41dcb5c24507c6c38dfe99a66bd3f84ac20cde81..ebc8476f3b1434d2c63e0e715c13a8cf27a334b8 100644 (file)
--- a/src/librustdoc/html/static/themes/dark.css
+++ b/src/librustdoc/html/static/themes/dark.css
@@ -3,13 +3,15 @@ body {
        color: #ddd;
 }
 
-h1, h2, h3:not(.impl):not(.method):not(.type):not(.tymethod), h4:not(.method):not(.type):not(.tymethod) {
+h1, h2, h3:not(.impl):not(.method):not(.type):not(.tymethod),
+h4:not(.method):not(.type):not(.tymethod) {
        color: #ddd;
 }
 h1.fqn {
        border-bottom-color: #d2d2d2;
 }
-h2, h3:not(.impl):not(.method):not(.type):not(.tymethod), h4:not(.method):not(.type):not(.tymethod) {
+h2, h3:not(.impl):not(.method):not(.type):not(.tymethod),
+h4:not(.method):not(.type):not(.tymethod) {
        border-bottom-color: #d2d2d2;
 }
 
@@ -32,6 +34,10 @@ pre {
        background-color: #505050;
 }
 
+.logo-container > img {
+       filter: drop-shadow(0 0 5px #fff);
+}
+
 /* Improve the scrollbar display on firefox */
 * {
        scrollbar-color: rgb(64, 65, 67) #717171;
@@ -172,10 +178,6 @@ a {
        color: #D2991D;
 }
 
-.stab.internal a {
-       color: #304FFE;
-}
-
 a.test-arrow {
        color: #dedede;
 }
@@ -214,7 +216,6 @@ a.test-arrow {
 }
 
 .stab.unstable { background: #FFF5D6; border-color: #FFC600; color: #2f2f2f; }
-.stab.internal { background: #FFB9B3; border-color: #B71C1C; color: #2f2f2f; }
 .stab.deprecated { background: #F3DFFF; border-color: #7F0087; color: #2f2f2f; }
 .stab.portability { background: #C4ECFF; border-color: #7BA5DB; color: #2f2f2f; }
 
@@ -337,6 +338,11 @@ pre.ignore:hover, .information:hover + pre.ignore {
        border-color: transparent black transparent transparent;
 }
 
+.important-traits-tooltiptext {
+       background-color: #111;
+       border-color: #777;
+}
+
 #titles > div:not(.selected) {
        background-color: #252525;
        border-top-color: #252525;