mozilla/rust — pull request #10849 by adridu59 (2013-12-07 17:09:07+00:00)
Title: doc: CSS improvements

* rustdoc: fix search-bar layout
* switch to native pandoc toc depth
* doc: CSS:
- rm some dead code
- clamp width to be readable, we're not Wikipedia
- don't background-color titles, it's bloating
- make syntax-highlighting colors inline with rust-lang.org
- space indents

@alexcrichton