From dd717deccb3a4698beac8edb0a75e2efb6f08ebb Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Mon, 1 Oct 2018 00:47:54 +0200 Subject: Add crate filtering --- src/librustdoc/html/layout.rs | 15 +++-- src/librustdoc/html/render.rs | 2 +- src/librustdoc/html/static/main.js | 99 ++++++++++++++++++++++++----- src/librustdoc/html/static/rustdoc.css | 24 ++++++- src/librustdoc/html/static/themes/dark.css | 8 ++- src/librustdoc/html/static/themes/light.css | 9 ++- 6 files changed, 131 insertions(+), 26 deletions(-) (limited to 'src/librustdoc/html') diff --git a/src/librustdoc/html/layout.rs b/src/librustdoc/html/layout.rs index 6868c7707ad..d585b737517 100644 --- a/src/librustdoc/html/layout.rs +++ b/src/librustdoc/html/layout.rs @@ -81,11 +81,16 @@ pub fn render(