logo added, sphinx bugs css fixed

Author: javilinos

docs/_images/logo.png

@@ -34,27 +34,34 @@ figure figcaption {
 }
 
 /* increase the size of the side bar from 300px default to 320px */
-.wy-nav-side {
-    width: 320px;
+.wy-nav-side.shift {
+    width: 320px !important;
+    left: 0;
 }
 
 .wy-side-scroll {
-    width: 340px;
+    width: 320px;
+    overflow: hidden;
 }
 
 .wy-side-nav-search {
     width: 320px;
-    background: #08adee !important;
+    background: #090b22 !important;
 }
 
 .icon.icon-home {
-    color: #000000 !important;
+    color: #ffffff !important;
+    width: 70%;
 }
 
 .wy-menu-vertical {
     width: 320px;
 }
 
+.wy-nav-content-wrap.shift {
+    left: 320px;
+}
+
 /* (temporarily) add an under development tagline to the bread crumb
  .wy-breadcrumbs::after {
     content: " (Content under development)";

docs/_themes/sphinx_rtd_theme/static/css/config.css

@@ -12,7 +12,7 @@ sticky_navigation = True
 navigation_depth = 4
 includehidden = True
 titles_only =
-logo_only =
+logo_only = False
 display_version = True
 prev_next_buttons_location = bottom
 style_external_links = False

docs/_themes/sphinx_rtd_theme/theme.conf

@@ -97,6 +97,7 @@
 else:
     html_theme = "sphinx_rtd_theme"
     html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+    html_logo = "logo.png"
     html_theme_options = {
         'canonical_url': '',
         'analytics_id': '',
@@ -113,7 +114,7 @@
 html_theme_path = ['_themes']
 
 html_theme = 'sphinx_rtd_theme'
-
+html_logo = "_images/logo.png"
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".