Minor improvements to docs

2016-03-03 16:39:58 +02:00
parent 7e0ccd0712
commit 888967eb61
12 changed files with 38 additions and 15 deletions
@@ -256,6 +256,12 @@ nav {

 /* Misc */

+.wy-side-scroll .wy-side-nav-search .icon,
+.wy-side-scroll .wy-side-nav-search .version {
+  display: none;
+  visibility: none;
+}
+
 .navbar-header .navbar-brand {
  color: #e0e0e0;
  background: url("../_static/platformio-logo-xs.png") no-repeat;