diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-01-22 21:38:56 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-01-22 21:47:39 +0100 |
| commit | 3c52acd9ca3c231b2cab881a9653135dca17e8aa (patch) | |
| tree | 1b207bb3118af4c133c522b3725cb2cd93bff381 | |
| parent | aae6dc4f20bd8f542653cbfdd32bb2664b9a91fe (diff) | |
| download | rust-3c52acd9ca3c231b2cab881a9653135dca17e8aa.tar.gz rust-3c52acd9ca3c231b2cab881a9653135dca17e8aa.zip | |
Change theme icon
| -rw-r--r-- | src/librustdoc/html/layout.rs | 3 | ||||
| -rw-r--r-- | src/librustdoc/html/render.rs | 2 | ||||
| -rw-r--r-- | src/librustdoc/html/static/brush.svg | 1 | ||||
| -rw-r--r-- | src/librustdoc/html/static/themes/dark.css | 1 |
4 files changed, 6 insertions, 1 deletions
diff --git a/src/librustdoc/html/layout.rs b/src/librustdoc/html/layout.rs index 105b5b103a5..753abf4eacf 100644 --- a/src/librustdoc/html/layout.rs +++ b/src/librustdoc/html/layout.rs @@ -70,7 +70,8 @@ r##"<!DOCTYPE html> {sidebar} </nav> - <div id="theme-picker">🖌 + <div id="theme-picker"> + <img src="{root_path}brush.svg" width="18" alt="Pick another theme!"> <div id="theme-choices"></div> </div> <script src="{root_path}theme.js"></script> diff --git a/src/librustdoc/html/render.rs b/src/librustdoc/html/render.rs index 95db6a8679e..ad785fb830a 100644 --- a/src/librustdoc/html/render.rs +++ b/src/librustdoc/html/render.rs @@ -890,6 +890,8 @@ fn write_shared(cx: &Context, themes.insert(try_none!(try_none!(entry.file_stem(), &entry).to_str(), &entry).to_owned()); } + write(cx.dst.join("brush.svg"), + include_bytes!("static/brush.svg"))?; write(cx.dst.join("main.css"), include_bytes!("static/themes/main.css"))?; themes.insert("main".to_owned()); diff --git a/src/librustdoc/html/static/brush.svg b/src/librustdoc/html/static/brush.svg new file mode 100644 index 00000000000..072264a6408 --- /dev/null +++ b/src/librustdoc/html/static/brush.svg @@ -0,0 +1 @@ +<?xml version="1.0" ?><svg height="1792" viewBox="0 0 1792 1792" width="1792" xmlns="http://www.w3.org/2000/svg"><path d="M1615 0q70 0 122.5 46.5t52.5 116.5q0 63-45 151-332 629-465 752-97 91-218 91-126 0-216.5-92.5t-90.5-219.5q0-128 92-212l638-579q59-54 130-54zm-909 1034q39 76 106.5 130t150.5 76l1 71q4 213-129.5 347t-348.5 134q-123 0-218-46.5t-152.5-127.5-86.5-183-29-220q7 5 41 30t62 44.5 59 36.5 46 17q41 0 55-37 25-66 57.5-112.5t69.5-76 88-47.5 103-25.5 125-10.5z"/></svg> \ No newline at end of file diff --git a/src/librustdoc/html/static/themes/dark.css b/src/librustdoc/html/static/themes/dark.css index 43d00486ca2..05ac0660396 100644 --- a/src/librustdoc/html/static/themes/dark.css +++ b/src/librustdoc/html/static/themes/dark.css @@ -361,6 +361,7 @@ kbd { #theme-picker { border-color: #e0e0e0; + background: #f0f0f0; } #theme-choices { |
