From 033e12fd1b0e5f7d1765b92b31db11c0c7ca3bf0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maxime=20Lefran=C3=A7ois?= <maxime.lefrancois.86@gmail.com>
Date: Mon, 15 Jun 2020 09:16:58 +0200
Subject: [PATCH] search box
---
src/main/resources/documentation/header.rqg | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/src/main/resources/documentation/header.rqg b/src/main/resources/documentation/header.rqg
index 56284b5..859545a 100644
--- a/src/main/resources/documentation/header.rqg
+++ b/src/main/resources/documentation/header.rqg
@@ -73,7 +73,7 @@ TEMPLATE <head.rqg>( ?before, ?pathToStatic , ?isOntologyDocumentation ) {
</a>
</div>
</div>
- <div class="g-block size-50">
+ <div class="g-block size-65">
<div class="g-content g-particle">
<nav class="g-main-nav" role="navigation" data-g-hover-expand="true">
<ul class="g-toplevel">
@@ -119,11 +119,17 @@ TEMPLATE <head.rqg>( ?before, ?pathToStatic , ?isOntologyDocumentation ) {
</a>
</li>
+ <li class="g-menu-item g-menu-item-type-component g-menu-item-242 g-standard">
+ <form method="GET" action="search.html">
+ <input class="form-control" id="q" name="q" placeholder="🔎 ex., device"/>
+ </form>
+ </li>
+
</ul>
</nav>
</div>
</div>
- <div class="g-block g-social-header size-33">
+ <div class="g-block g-social-header size-17">
<div class="g-content g-particle">
<div class="g-social ">
<a target="_blank" href="https://twitter.com/ETSI_STANDARDS" title="" aria-label="">
--
GitLab