]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7f1e626 6d886af)
Rollup merge of #70493 - 0xd4d:rustdoc-tab-size, r=GuillaumeGomez
authorDylan DPC <dylan.dpc@gmail.com>
Sat, 28 Mar 2020 14:22:01 +0000 (15:22 +0100)
committerGitHub <noreply@github.com>
Sat, 28 Mar 2020 14:22:01 +0000 (15:22 +0100)
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 https://github.com/rust-lang/rust/issues/49155 and related PR https://github.com/rust-lang/rust/pull/50947

tab-size: https://developer.mozilla.org/en-US/docs/Web/CSS/tab-size


Trivial merge
Empowering everyone to build reliable and efficient software.