New upstream version 1.44.1+dfsg1

[rustc.git] / src / librustdoc / html / static / rustdoc.css

diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
index f05db6c218524c15b4af697b1166110bf794570c..ab524751723333911372306ca700f2705d75e9a3 100644 (file)
--- a/src/librustdoc/html/static/rustdoc.css
+++ b/src/librustdoc/html/static/rustdoc.css
@@ -184,6 +184,25 @@ nav.sub {
        overflow: auto;
 }
 
+/* Improve the scrollbar display on firefox */
+* {
+       scrollbar-width: initial;
+}
+.sidebar {
+       scrollbar-width: thin;
+}
+
+/* Improve the scrollbar display on webkit-based browsers */
+::-webkit-scrollbar {
+       width: 12px;
+}
+.sidebar::-webkit-scrollbar {
+       width: 8px;
+}
+::-webkit-scrollbar-track {
+       -webkit-box-shadow: inset 0;
+}
+
 .sidebar .block > ul > li {
        margin-right: -10px;
 }
@@ -1032,7 +1051,7 @@ h3 > .collapse-toggle, h4 > .collapse-toggle {
 
 .information {
        position: absolute;
-       left: -20px;
+       left: -25px;
        margin-top: 7px;
        z-index: 1;
 }
@@ -1047,12 +1066,13 @@ h3 > .collapse-toggle, h4 > .collapse-toggle {
        width: 120px;
        display: none;
        text-align: center;
-       padding: 5px 3px;
+       padding: 5px 3px 3px 3px;
        border-radius: 6px;
        margin-left: 5px;
        top: -5px;
        left: 105%;
        z-index: 10;
+       font-size: 16px;
 }
 
 .tooltip:hover .tooltiptext {
@@ -1063,20 +1083,26 @@ h3 > .collapse-toggle, h4 > .collapse-toggle {
        content: " ";
        position: absolute;
        top: 50%;
-       left: 11px;
+       left: 16px;
        margin-top: -5px;
        border-width: 5px;
        border-style: solid;
 }
 
+.tooltip.compile_fail, .tooltip.ignore {
+       font-weight: bold;
+       font-size: 20px;
+}
+
 .tooltip .tooltiptext {
        border: 1px solid;
+       font-weight: normal;
 }
 
 pre.rust {
        position: relative;
-       tab-width: 4;
-       -moz-tab-width: 4;
+       tab-size: 4;
+       -moz-tab-size: 4;
 }
 
 .search-failed {