q-doc/_themes/sphinx_rtd_theme/breadcrumbs.html
author Heinz Junkes <junkes@fhi-berlin.mpg.de>
Tue, 09 Jan 2018 09:21:39 +0100
changeset 0 bc83cf45066d
permissions -rw-r--r--
Initial commit
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     1
{# Support for Sphinx 1.3+ page_source_suffix, but don't break old builds. #}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     2
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     3
{% if page_source_suffix %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     4
{% set suffix = page_source_suffix %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     5
{% else %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     6
{% set suffix = source_suffix %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     7
{% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     8
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     9
{% if meta is defined and meta is not none %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    10
{% set check_meta = True %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    11
{% else %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    12
{% set check_meta = False %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    13
{% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    14
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    15
{% if check_meta and 'github_url' in meta %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    16
{% set display_github = True %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    17
{% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    18
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    19
{% if check_meta and 'bitbucket_url' in meta %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    20
{% set display_bitbucket = True %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    21
{% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    22
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    23
{% if check_meta and 'gitlab_url' in meta %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    24
{% set display_gitlab = True %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    25
{% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    26
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    27
<div role="navigation" aria-label="breadcrumbs navigation">
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    28
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    29
  <ul class="wy-breadcrumbs">
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    30
    {% block breadcrumbs %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    31
      <li><a href="{{ pathto(master_doc) }}">{{ _('Docs') }}</a> &raquo;</li>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    32
        {% for doc in parents %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    33
          <li><a href="{{ doc.link|e }}">{{ doc.title }}</a> &raquo;</li>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    34
        {% endfor %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    35
      <li>{{ title }}</li>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    36
    {% endblock %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    37
    {% block breadcrumbs_aside %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    38
      <li class="wy-breadcrumbs-aside">
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    39
        {% if hasdoc(pagename) %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    40
            {% if display_github %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    41
            {% if check_meta and 'github_url' in meta %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    42
              <!-- User defined GitHub URL -->
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    43
              <a href="{{ meta['github_url'] }}" class="fa fa-github"> {{ _('Edit on GitHub') }}</a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    44
            {% else %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    45
              <a href="https://{{ github_host|default("github.com") }}/{{ github_user }}/{{ github_repo }}/blob/{{ github_version }}{{ conf_py_path }}{{ pagename }}{{ suffix }}" class="fa fa-github"> {{ _('Edit on GitHub') }}</a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    46
            {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    47
          {% elif display_bitbucket %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    48
            {% if check_meta and 'bitbucket_url' in meta %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    49
              <!-- User defined Bitbucket URL -->
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    50
              <a href="{{ meta['bitbucket_url'] }}" class="fa fa-bitbucket"> {{ _('Edit on Bitbucket') }}</a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    51
            {% else %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    52
              <a href="https://bitbucket.org/{{ bitbucket_user }}/{{ bitbucket_repo }}/src/{{ bitbucket_version}}{{ conf_py_path }}{{ pagename }}{{ suffix }}" class="fa fa-bitbucket"> {{ _('Edit on Bitbucket') }}</a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    53
            {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    54
          {% elif display_gitlab %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    55
            {% if check_meta and 'gitlab_url' in meta %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    56
              <!-- User defined GitLab URL -->
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    57
              <a href="{{ meta['gitlab_url'] }}" class="fa fa-gitlab"> {{ _('Edit on GitLab') }}</a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    58
            {% else %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    59
              <a href="https://{{ gitlab_host|default("gitlab.com") }}/{{ gitlab_user }}/{{ gitlab_repo }}/blob/{{ gitlab_version }}{{ conf_py_path }}{{ pagename }}{{ suffix }}" class="fa fa-gitlab"> {{ _('Edit on GitLab') }}</a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    60
            {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    61
          {% elif show_source and source_url_prefix %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    62
            <a href="{{ source_url_prefix }}{{ pagename }}{{ suffix }}">{{ _('View page source') }}</a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    63
          {% elif show_source and has_source and sourcename %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    64
            <a href="{{ pathto('_sources/' + sourcename, true)|e }}" rel="nofollow"> {{ _('View page source') }}</a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    65
          {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    66
        {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    67
      </li>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    68
    {% endblock %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    69
  </ul>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    70
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    71
  {% if (theme_prev_next_buttons_location == 'top' or theme_prev_next_buttons_location == 'both') and (next or prev) %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    72
  <div class="rst-breadcrumbs-buttons" role="navigation" aria-label="breadcrumb navigation">
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    73
      {% if next %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    74
        <a href="{{ next.link|e }}" class="btn btn-neutral float-right" title="{{ next.title|striptags|e }}" accesskey="n">Next <span class="fa fa-arrow-circle-right"></span></a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    75
      {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    76
      {% if prev %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    77
        <a href="{{ prev.link|e }}" class="btn btn-neutral" title="{{ prev.title|striptags|e }}" accesskey="p"><span class="fa fa-arrow-circle-left"></span> Previous</a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    78
      {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    79
  </div>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    80
  {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    81
  <hr/>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    82
</div>