diff --git a/src/main/resources/documentation/header.rqg b/src/main/resources/documentation/header.rqg index 56284b5c50ca4a9e3099a205524f400134a60820..859545abd6f9d8205816cc26859e91ffa4e53022 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="">