Auto merge of #86663 - fee1-dead:use-rustdoc-css, r=GuillaumeGomez

Use rustdoc.css for error index

Closes #86512.

1 files changed, 8 insertions, 132 deletions

diff --git a/src/doc/rust.css b/src/doc/rust.css
index dba97a067a3..d33ab032603 100644
--- a/src/doc/rust.css
+++ b/src/doc/rust.css
@@ -1,91 +1,15 @@
-/* See FiraSans-LICENSE.txt for the Fira Sans license. */
-@font-face {
-	font-family: 'Fira Sans';
-	font-style: normal;
-	font-weight: 400;
-	src: local('Fira Sans'),
-		url("FiraSans-Regular.woff2") format("woff2"),
-		url("FiraSans-Regular.woff") format('woff');
-	font-display: swap;
-}
-@font-face {
-	font-family: 'Fira Sans';
-	font-style: normal;
-	font-weight: 500;
-	src: local('Fira Sans Medium'),
-		url("FiraSans-Medium.woff2") format("woff2"),
-		url("FiraSans-Medium.woff") format('woff');
-	font-display: swap;
-}
-
-/* See SourceSerif4-LICENSE.md for the Source Serif 4 license. */
-@font-face {
-	font-family: 'Source Serif 4';
-	font-style: normal;
-	font-weight: 400;
-	src: local('Source Serif 4'), url("SourceSerif4-Regular.ttf.woff") format('woff');
-	font-display: swap;
-}
-@font-face {
-	font-family: 'Source Serif 4';
-	font-style: italic;
-	font-weight: 400;
-	src: local('Source Serif 4 Italic'), url("SourceSerif4-It.ttf.woff") format('woff');
-	font-display: swap;
-}
-@font-face {
-	font-family: 'Source Serif 4';
-	font-style: normal;
-	font-weight: 700;
-	src: local('Source Serif 4 Bold'), url("SourceSerif4-Bold.ttf.woff") format('woff');
-	font-display: swap;
-}
-
-/* See SourceCodePro-LICENSE.txt for the Source Code Pro license. */
-@font-face {
-	font-family: 'Source Code Pro';
-	font-style: normal;
-	font-weight: 400;
-	/* Avoid using locally installed font because bad versions are in circulation:
-	 * see https://github.com/rust-lang/rust/issues/24355 */
-	src: url("SourceCodePro-Regular.ttf.woff") format('woff');
-	font-display: swap;
-}
-@font-face {
-	font-family: 'Source Code Pro';
-	font-style: italic;
-	font-weight: 400;
-	src: url("SourceCodePro-It.ttf.woff") format('woff');
-	font-display: swap;
-}
-@font-face {
-	font-family: 'Source Code Pro';
-	font-style: normal;
-	font-weight: 600;
-	src: url("SourceCodePro-Semibold.ttf.woff") format('woff');
-	font-display: swap;
-}
-
-*:not(body) {
-  -webkit-box-sizing: border-box;
-	 -moz-box-sizing: border-box;
-		  box-sizing: border-box;
-}
-
 /* General structure */
 
 body {
-	background-color: white;
 	margin: 0 auto;
 	padding: 0 15px;
-	font-family: "Source Serif 4", Georgia, Times, "Times New Roman", serif;
 	font-size: 18px;
 	color: #333;
 	line-height: 1.428571429;
 
-	-webkit-font-feature-settings: "kern", "liga";
-	-moz-font-feature-settings: "kern", "liga";
-	font-feature-settings: "kern", "liga";
+	-webkit-box-sizing: unset;
+	-moz-box-sizing: unset;
+	box-sizing: unset;
 }
 @media (min-width: 768px) {
 	body {
@@ -93,11 +17,7 @@ body {
 	}
 }
 
-h1, h2, h3, h4, h5, h6, nav, #versioninfo {
-	font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
-}
-h1, h2, h3, h4, h5, h6 {
-	color: black;
+h2, h3, h4, h5, h6 {
 	font-weight: 400;
 	line-height: 1.1;
 }
@@ -107,6 +27,7 @@ h1, h2, h3 {
 }
 h1 {
 	margin-bottom: 20px;
+	line-height: 1.1;
 }
 h4, h5, h6 {
 	margin-top: 12px;
@@ -114,6 +35,7 @@ h4, h5, h6 {
 	padding: 5px 10px;
 }
 h5, h6 {
+	color: black;
 	text-decoration: underline;
 }
 
@@ -138,6 +60,7 @@ h3 {
 }
 h4 {
 	font-size: 22px;
+	border-bottom: none;
 }
 h5 {
 	font-size: 20px;
@@ -208,19 +131,15 @@ a:hover, a:active {
 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 a:hover, h2 a:hover, h3 a:hover, h4 a:hover,
-h5 a:hover {text-decoration: none;}
 
 /* Code */
 
 pre, code {
-	font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", monospace;
 	word-wrap: break-word;
 }
 pre {
 	border-left: 2px solid #eee;
 	white-space: pre-wrap;
-	padding: 14px;
 	padding-right: 0;
 	margin: 20px 0;
 	font-size: 15px;
@@ -244,19 +163,6 @@ a > code {
 	color: #8D1A38;
 }
 
-/* Code highlighting */
-pre.rust .kw { color: #8959A8; }
-pre.rust .kw-2, pre.rust .prelude-ty { color: #4271AE; }
-pre.rust .number, pre.rust .string { color: #718C00; }
-pre.rust .self, pre.rust .bool-val, pre.rust .prelude-val,
-pre.rust .attribute, pre.rust .attribute .ident { color: #C82829; }
-pre.rust .comment { color: #8E908C; }
-pre.rust .doccomment { color: #4D4D4C; }
-pre.rust .macro, pre.rust .macro-nonterminal { color: #3E999F; }
-pre.rust .lifetime { color: #B76514; }
-
-/* The rest */
-
 #versioninfo {
 	text-align: center;
 	margin: 0.5em;
@@ -298,9 +204,6 @@ blockquote p:last-child {
 	margin-bottom: 0;
 }
 
-ul, ol {
-	padding-left: 25px;
-}
 ul ul, ol ul, ul ol, ol ol {
 	margin-bottom: 0;
 }
@@ -355,22 +258,8 @@ table th {
 
 /* Code snippets */
 
-.example-wrap { position: relative; }
-pre.rust { position: relative; }
 a.test-arrow {
-	background-color: rgba(78, 139, 202, 0.2);
-	display: inline-block;
-	position: absolute;
-	color: #f5f5f5;
-	padding: 5px 10px 5px 10px;
-	border-radius: 5px;
-	font-size: 130%;
-	top: 5px;
-	right: 5px;
-}
-a.test-arrow:hover{
-	background-color: #4e8bca;
-	text-decoration: none;
+	color: #f5f5f5
 }
 
 .unstable-feature {
@@ -439,19 +328,6 @@ a.test-arrow:hover{
 	position: relative;
 }
 
-.information {
-	position: absolute;
-	left: -25px;
-	margin-top: 7px;
-	z-index: 1;
-}
-
-.tooltip {
-	position: relative;
-	display: inline-block;
-	cursor: pointer;
-}
-
 .tooltip .tooltiptext {
 	width: 120px;
 	display: none;