Change theme icon

This commit is contained in:
Guillaume Gomez 2018-01-22 21:38:56 +01:00
parent aae6dc4f20
commit 3c52acd9ca
4 changed files with 6 additions and 1 deletions

View File

@ -70,7 +70,8 @@ r##"<!DOCTYPE html>
{sidebar} {sidebar}
</nav> </nav>
<div id="theme-picker">&#x1f58c; <div id="theme-picker">
<img src="{root_path}brush.svg" width="18" alt="Pick another theme!">
<div id="theme-choices"></div> <div id="theme-choices"></div>
</div> </div>
<script src="{root_path}theme.js"></script> <script src="{root_path}theme.js"></script>

View File

@ -890,6 +890,8 @@ fn write_shared(cx: &Context,
themes.insert(try_none!(try_none!(entry.file_stem(), &entry).to_str(), &entry).to_owned()); 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"), write(cx.dst.join("main.css"),
include_bytes!("static/themes/main.css"))?; include_bytes!("static/themes/main.css"))?;
themes.insert("main".to_owned()); themes.insert("main".to_owned());

View File

@ -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>

After

Width:  |  Height:  |  Size: 477 B

View File

@ -361,6 +361,7 @@ kbd {
#theme-picker { #theme-picker {
border-color: #e0e0e0; border-color: #e0e0e0;
background: #f0f0f0;
} }
#theme-choices { #theme-choices {