Update docs.html

This commit is contained in:
John Mulhausen 2017-04-10 19:18:42 -07:00 committed by GitHub
parent d6e1baa164
commit 34111fa341
1 changed files with 1 additions and 1 deletions

View File

@ -95,7 +95,7 @@ else %}{% assign edit_url = "" %}{% endif %} {% break %} {% endif %} {% endfor %
{% capture keywordlist %}{{ keywordlist }}<a href="/glossary/?term={{strippedKeyword}}">{{strippedKeyword}}</a>{% unless forloop.last %}, {% endunless %}{% endcapture %}
{% endfor %}
{% if keywordlist.size > 0 %}<span class="glyphicon glyphicon-tags" style="padding-right: 10px"></span><span style="vertical-align: 2px">{{ keywordlist }}</span>{% endif %}
{% endif %}
{% endunless %}
<!-- link corrections -->
<script language="JavaScript">
var x = document.links.length;