add new fancy logo 🎉 (#447)

informalsystems · Jul 14, 2020 · b906047 · b906047
1 parent aefb3e0
commit b906047
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/img/logo-tendermint-rs.png b/img/logo-tendermint-rs.png
diff --git a/img/logo-tendermint-rs.svg b/img/logo-tendermint-rs.svg
diff --git a/tendermint/src/lib.rs b/tendermint/src/lib.rs
@@ -13,7 +13,10 @@
     unused_qualifications
 )]
 #![forbid(unsafe_code)]
-#![doc(html_root_url = "https://docs.rs/tendermint/0.14.1")]
+#![doc(
+    html_root_url = "https://docs.rs/tendermint/0.14.1",
+    html_logo_url = "https://raw.githubusercontent.com/informalsystems/tendermint-rs/master/img/logo-tendermint-rs.png"
+)]
 
 #[macro_use]
 pub mod error;