view docs/templates/doc.html @ 447:aefe70229fdd

bake: Commonize worker pool code between html and asset baking. The `workerpool` package now defines a generic-ish worker pool. It's similar to the Python framework pool but with a simpler use-case (only one way to queue jobs) and support for workers to send a final "report" to the master process, which we use to get timing information here. The rest of the changes basically remove a whole bunch of duplicated code that's not needed anymore.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 05 Jul 2015 00:09:41 -0700
parents 8140ff806258
children 61d53d2163d6
line wrap: on
line source

{% 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">
    {{highlight_css()}}
    </style>
{% endif %}
{% endblock %}

{% block header %}
<header class="documentation">
    <h1>{{ page.title }}</h1>
</header>
{% endblock %}

{% block content %}
<div class="container">
    <section class="col-md-8">
    {{ content|safe }}
    </section>
    <aside class="col-md-4">
        <ul class="doc-level1">
        {% for p in family.root %}
        {% if p.is_dir and p.is_page %}
            <li>{{ pagelink(p.title, p.url) }}
                <ul class="doc-level2">
                {% for p2 in p.children %}
                    <li>{{ pagelink(p2.title, p2.url) }}</li>
                {% endfor %}
                </ul>
            </li>
        {% elif not p.is_dir and p.order %}
            <li>{{ pagelink(p.title, p.url) }}</li>
        {% endif %}
        {% endfor %}
        </ul>
    </aside>
</div>
{% endblock %}