# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1429313880 25200
# Node ID 8140ff806258452c7f006fd743d3f834015820e3
# Parent  498a917cd2d4ddc3c901df249587b2a05fc7532d
docs: Add "active page" style for the navigation menu.

diff -r 498a917cd2d4 -r 8140ff806258 docs/assets/css/piecrust.less
--- a/docs/assets/css/piecrust.less	Fri Apr 17 16:09:30 2015 -0700
+++ b/docs/assets/css/piecrust.less	Fri Apr 17 16:38:00 2015 -0700
@@ -265,6 +265,13 @@
         font-size: 1.1em;
         font-weight: bold;
     }
+
+    @doc-link-active: darken(@brand-success, 10%);
+    a.active {
+        border-left: 3px solid @doc-link-active;
+        padding-left: 0.5em;
+        color: @doc-link-active;
+    }
 }
 
 ul.doc-level2 {
diff -r 498a917cd2d4 -r 8140ff806258 docs/templates/doc.html
--- a/docs/templates/doc.html	Fri Apr 17 16:09:30 2015 -0700
+++ b/docs/templates/doc.html	Fri Apr 17 16:38:00 2015 -0700
@@ -1,5 +1,9 @@
 {% extends "default.html" %}
 
+{% macro pagelink(title, url) -%}
+    <a href="{{url}}"{% if url == page.url %} class="active"{% endif %}>{{title}}</a>
+{%- endmacro %}
+
 {% block head %}
 {% if page.needs_pygments %}
     <style type="text/css">
@@ -23,15 +27,15 @@
         <ul class="doc-level1">
         {% for p in family.root %}
         {% if p.is_dir and p.is_page %}
-            <li><a href="{{p.url}}">{{p.title}}</a>
+            <li>{{ pagelink(p.title, p.url) }}
                 <ul class="doc-level2">
                 {% for p2 in p.children %}
-                    <li><a href="{{p2.url}}">{{p2.title}}</a></li>
+                    <li>{{ pagelink(p2.title, p2.url) }}</li>
                 {% endfor %}
                 </ul>
             </li>
         {% elif not p.is_dir and p.order %}
-            <li><a href="{{p.url}}">{{p.title}}</a></li>
+            <li>{{ pagelink(p.title, p.url) }}</li>
         {% endif %}
         {% endfor %}
         </ul>