diff options
Diffstat (limited to 'sphinx/themes/basic/domainindex.html')
-rw-r--r-- | sphinx/themes/basic/domainindex.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/themes/basic/domainindex.html b/sphinx/themes/basic/domainindex.html index ac5aed9f..4ee62d55 100644 --- a/sphinx/themes/basic/domainindex.html +++ b/sphinx/themes/basic/domainindex.html @@ -44,7 +44,7 @@ {%- endif %}</td> <td>{% if grouptype == 2 %} {% endif %} {% if page %}<a href="{{ pathto(page) }}#{{ anchor }}">{% endif -%} - <tt class="xref">{{ name|e }}</tt> + <code class="xref">{{ name|e }}</code> {%- if page %}</a>{% endif %} {%- if extra %} <em>({{ extra|e }})</em>{% endif -%} </td><td>{% if qualifier %}<strong>{{ qualifier|e }}:</strong>{% endif %} |