Improve style of tutorials (css, logo) (#281)

Author: davetcoleman

_static/css/override.css

@@ -0,0 +1,61 @@
+/* A few customizations of sphynx-rtd-theme specific to MoveIt branding */
+
+.icon:before {
+  white-space: pre-wrap !important;
+}
+
+.header-override {
+  margin-bottom: 12px;
+}
+
+.header-override img {
+  width: 200px;
+}
+
+.wy-breadcrumbs li.wy-breadcrumbs-aside {
+  display: block;
+  width: 100%;
+  text-align: right;
+  margin-bottom: -25px;
+}
+
+.wy-body-for-nav .wy-side-nav-search {
+  background-color: #33343f;
+}
+
+.red {
+  color: red;
+}
+
+a {
+  color: #005cfa;
+}
+
+a:hover {
+  color: #9B58B6;
+}
+
+.rst-content .note {
+  background-color: #ECECEC;
+}
+
+.rst-content .note .admonition-title {
+  background-color: #777986;
+}
+
+.wy-menu {
+  margin-top: 24px;
+}
+
+.wy-nav-side {
+  background-color: #2D2E38;
+}
+
+.wy-menu-vertical a {
+  color: #b3b3b3;
+}
+
+.header-override p {
+  margin-bottom: 0;
+  text-align: right;
+}

_static/images/rolling-small.png

@@ -102,11 +102,13 @@
 #
 html_theme = "sphinx_rtd_theme"
 html_theme_options = {
-    "collapse_navigation": False,
+    "collapse_navigation": True,
     "sticky_navigation": True,
     "navigation_depth": -1,
     # This is the Google Analytics account used by moveit.ros.org, not picknik.ai
     "analytics_id": "UA-108532843-1",
+    # Only display the logo image, do not display the project name at the top of the sidebar
+    "logo_only": True,
 }
 
 html_context = {
@@ -145,6 +147,7 @@
     "REPOS_FILE_BRANCH": "main",
 }
 
+# Set the the browser icon
 html_favicon = "_static/images/favicon.ico"
 
 
@@ -153,6 +156,12 @@
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ["_static"]
 
+# These paths are either relative to html_static_path
+# or fully qualified paths (eg. https://...)
+html_css_files = [
+    "css/override.css",
+]
+
 # Drop any source link suffix
 html_sourcelink_suffix = ""
 
@@ -408,6 +417,9 @@ def smv_rewrite_configs(app, config):
         app.config.html_baseurl = app.config.html_baseurl + "/" + distro + "/"
         app.config.project = "MoveIt Documentation: " + distro.title()
         app.config.html_logo = "_static/images/" + distro + "-small.png"
+    else:
+        # If we are not building a multiversion build, default to the rolling logo
+        app.config.html_logo = "_static/images/rolling-small.png"
 
 
 def github_link_rewrite_branch(app, pagename, templatename, context, doctree):