From 7bf7ab16c75dd5bbb0acb496bf390f1a7da2ed96 Mon Sep 17 00:00:00 2001
From: Florian Kissling <flo@6230.org>
Date: Wed, 22 Apr 2015 17:42:11 +0200
Subject: [PATCH] Separate "Release notes" from the "4.0 Announcement".

While the latter is part of the docs, the "Release notes" are linked to the GitHub "Releases" section; thus the added divider.
---
 docs/_includes/navigation.html | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/_includes/navigation.html b/docs/_includes/navigation.html
index f62cf9d4..ebd180f7 100644
--- a/docs/_includes/navigation.html
+++ b/docs/_includes/navigation.html
@@ -27,14 +27,15 @@
             <span class="caret"></span>
           </a>
           <ul class="dropdown-menu">
+            <li{% if page.slug == "announcements-4.0" %} class="active"{% endif %}>
+              <a href="./announcements-4.0.html">4.0 Announcement</a>
+            </li>
+            <li class="divider"></li>
             <li>
               <a href="https://github.com/select2/select2/releases">
                 Release notes
               </a>
             </li>
-            <li{% if page.slug == "announcements-4.0" %} class="active"{% endif %}>
-              <a href="./announcements-4.0.html">4.0 Announcement</a>
-            </li>
           </ul>
         </li>
         <li{% if page.slug == "community" %} class="active"{% endif %}>