Rollup merge of #70493 - 0xd4d:rustdoc-tab-size, r=GuillaumeGomez

Dylan-DPC · web-flow · commit f6111930d22a · 2020-03-28T15:22:01.000+01:00
Fix rustdoc.css CSS tab-size property This fixes the CSS tab size property names which are called `tab-size` / `-moz-tab-size` and not `tab-width` Old issue #49155 and related PR #50947 tab-size: https://developer.mozilla.org/en-US/docs/Web/CSS/tab-size
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
@@ -1082,8 +1082,8 @@ h3 > .collapse-toggle, h4 > .collapse-toggle {
 
 pre.rust {
 	position: relative;
-	tab-width: 4;
-	-moz-tab-width: 4;
+	tab-size: 4;
+	-moz-tab-size: 4;
 }
 
 .search-failed {

Original file line number	Diff line number	Diff line change
`@@ -1082,8 +1082,8 @@ h3 > .collapse-toggle, h4 > .collapse-toggle {`
`1082`	`1082`
`1083`	`1083`	`pre.rust {`
`1084`	`1084`	`position: relative;`
`1085`		`- tab-width: 4;`
`1086`		`- -moz-tab-width: 4;`
	`1085`	`+ tab-size: 4;`
	`1086`	`+ -moz-tab-size: 4;`
`1087`	`1087`	`}`
`1088`	`1088`
`1089`	`1089`	`.search-failed {`