From 6f1fdad9c27e55fe88f71ebce9868910238a1c82 Mon Sep 17 00:00:00 2001
From: Eric Lippmann <eric.lippmann@netways.de>
Date: Wed, 11 Feb 2015 13:27:04 +0100
Subject: [PATCH] doc/lib: Add CSS for highlighting search results

refs #6630
---
 modules/doc/public/css/module.less | 34 ++++++------------------------
 1 file changed, 7 insertions(+), 27 deletions(-)

diff --git a/modules/doc/public/css/module.less b/modules/doc/public/css/module.less
index 1705129d5..1221efb96 100644
--- a/modules/doc/public/css/module.less
+++ b/modules/doc/public/css/module.less
@@ -77,7 +77,6 @@ thead {
     .uppercase;
     .bold;
   }
-  position: sticky;
   border-bottom: 0.25rem solid @icinga;
 }
 
@@ -105,31 +104,12 @@ pre > code {
   .box-shadow;
 }
 
-div.chapter > ul.navigation {
+ul.toc {
   margin: 0;
-  padding: 0.4em;
-  text-align: center;
-  background-color: #888;
-
-  li {
-    list-style: none;
-    display: inline;
-    margin: 0.2em;
-    padding: 0;
-
-    a {
-      color: #fff;
-      text-decoration: none;
-    }
-
-    &.prev {
-      padding-right: 0.6em;
-      border-right: 2px solid #fff;
-    }
-
-    &.next {
-      padding-left: 0.6em;
-      border-left: 2px solid #fff;
-    }
-  }
+  padding: 0 0 0 1em;
+}
+
+.search-highlight {
+  color: #FBE012;
+  background: @icinga;
 }