From 003b2bc1c65251ec2fc80b78ed91c43fb35402ec Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Sat, 20 Jan 2018 21:12:00 +0100 Subject: [PATCH] Add possibility to have multiple themes --- src/librustdoc/html/layout.rs | 8 +- src/librustdoc/html/render.rs | 82 +++- src/librustdoc/html/static/main.js | 12 +- src/librustdoc/html/static/rustdoc.css | 38 +- src/librustdoc/html/static/themes/dark.css | 382 ++++++++++++++++++ .../html/static/{styles => themes}/main.css | 23 ++ 6 files changed, 537 insertions(+), 8 deletions(-) create mode 100644 src/librustdoc/html/static/themes/dark.css rename src/librustdoc/html/static/{styles => themes}/main.css (96%) diff --git a/src/librustdoc/html/layout.rs b/src/librustdoc/html/layout.rs index 3a18c6b8a809e..105b5b103a565 100644 --- a/src/librustdoc/html/layout.rs +++ b/src/librustdoc/html/layout.rs @@ -47,8 +47,8 @@ r##" {title} - - + + {css_extension} {favicon} @@ -70,6 +70,10 @@ r##" {sidebar} +
🖌 +
+
+