From dd55a9062d57f0c6adcd3a5ce9c43d1df599ba48 Mon Sep 17 00:00:00 2001 From: Jaromir Coufal Date: Tue, 28 Apr 2015 09:21:04 +0200 Subject: [PATCH] Fix RDO styling for responsive design When shrinking size of the window, design changes to mobile layout. This has still RTD styling, so we need to update it for applied RDO styling. Change-Id: I52e114e23001a956594c89b0eb7db929362c4b79 --- doc/source/_custom/rdo_styling.css | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/doc/source/_custom/rdo_styling.css b/doc/source/_custom/rdo_styling.css index 4b4f63f36..df9be63b1 100644 --- a/doc/source/_custom/rdo_styling.css +++ b/doc/source/_custom/rdo_styling.css @@ -17,14 +17,27 @@ body { /* page header */ -.wy-side-nav-search { +.wy-side-nav-search, +.wy-nav-top { background: rgba(0, 0, 0, 0.05) !important; } -.wy-side-nav-search a { +.wy-nav-top { + line-height: 40px; + border-bottom: 1px solid rgba(0, 0, 0, 0.1); +} + +.wy-side-nav-search a, +.wy-nav-top a, +.wy-nav-top i { color: rgb(160, 0, 0) !important; } +.wy-nav-top i { + position: relative; + top: 0.1em; +} + .wy-side-nav-search input[type="text"] { border-color: rgba(0, 0, 0, 0.25); }