From 9dbf9541e9de713e2fb8081a981c7d34f7fe0c37 Mon Sep 17 00:00:00 2001
From: jonataswalker <jonataswalker@gmail.com>
Date: Sat, 13 Feb 2016 12:39:42 -0200
Subject: [PATCH] Add navigation header to Examples page

---
 config/examples/example.html  |  6 ++++++
 examples/index.html           |  8 +++++++-
 examples/resources/common.js  |  2 +-
 examples/resources/layout.css | 13 +++++++++++++
 4 files changed, 27 insertions(+), 2 deletions(-)

diff --git a/config/examples/example.html b/config/examples/example.html
index dd568a12b7..5b2f637fd3 100644
--- a/config/examples/example.html
+++ b/config/examples/example.html
@@ -20,6 +20,12 @@
     <header class="navbar" role="navigation">
       <div class="container" id="navbar-inner-container">
         <a class="navbar-brand" href="./"><img src="./resources/logo-70x70.png">&nbsp;OpenLayers 3 Examples</a>
+        <ul class="nav navbar-nav pull-right">
+          <li><a href="../doc">Docs</a></li>
+          <li><a class="active" href="index.html">Examples</a></li>
+          <li><a href="../apidoc">API</a></li>
+          <li><a href="https://github.com/openlayers/ol3">Code</a></li>
+        </ul>
       </div>
     </header>
 
diff --git a/examples/index.html b/examples/index.html
index 1e07404c32..588ca65db7 100644
--- a/examples/index.html
+++ b/examples/index.html
@@ -187,10 +187,16 @@
     <header class="navbar navbar-fixed-top" role="navigation">
       <div class="container">
         <a class="navbar-brand" href="./"><img src="./resources/logo-70x70.png">&nbsp;OpenLayers 3 Examples</a>
-        <form class="navbar-form navbar-left" role="search">
+        <form class="navbar-form navbar-left search-form" role="search">
           <input name="q" type="text" id="keywords" class="search-query" placeholder="Search" autofocus>
           <span id="count"></span>
         </form>
+        <ul class="nav navbar-nav pull-right">
+          <li><a href="../doc">Docs</a></li>
+          <li><a class="active" href="index.html">Examples</a></li>
+          <li><a href="../apidoc">API</a></li>
+          <li><a href="https://github.com/openlayers/ol3">Code</a></li>
+        </ul>
       </div>
     </header>
 
diff --git a/examples/resources/common.js b/examples/resources/common.js
index 00105c61c9..d466169bcc 100644
--- a/examples/resources/common.js
+++ b/examples/resources/common.js
@@ -74,7 +74,7 @@
 
   select.className = 'input-medium';
 
-  form.className = 'navbar-form pull-right';
+  form.className = 'navbar-form pull-right version-form';
   form.appendChild(select);
 
   container.appendChild(form);
diff --git a/examples/resources/layout.css b/examples/resources/layout.css
index b9960c3a7b..17761fe813 100644
--- a/examples/resources/layout.css
+++ b/examples/resources/layout.css
@@ -26,6 +26,19 @@ body {
   margin-right: 5px;
   display: inline-block;
 }
+.nav>li>a:hover, .nav>li>a:focus, .nav>li>a.active {
+  background-color: #268591;
+}
+.navbar-nav>li>a {
+  color: white;
+}
+.search-form, .version-form {
+  position: absolute;
+  left: 450px;
+}
+.version-form {
+  top: 5px;
+}
 
 #title {
   margin-top: 0;