[DOCS] Add logo and tracker to docs (#1064)

docs/_static/css/tvm_theme.css

@@ -9,3 +9,13 @@
 nav .hidden-section {
     display: inherit;
 }
+
+.wy-side-nav-search {
+    background-color: #fff;
+    color: #333;
+}
+
+.version{
+    color: #404040 !important;
+}
+

docs/_static/img/README

+The logo file in this repo is an exception due to the need of sphinx.
+By default we avoid to put large binary blobs into this repo.
\ No newline at end of file

docs/conf.py

@@ -137,6 +137,14 @@ if not on_rtd and html_theme == 'rtd':
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
+html_theme_options = {
+    'analytics_id': 'UA-75982049-2',
+    'logo_only': True,
+}
+
+html_logo = "_static/img/tvm-logo-small.png"
+
+
 # Output file base name for HTML help builder.
 htmlhelp_basename = project + 'doc'