Skip to content

Commit f057011

Browse files
committed
tested removing spaces
An attempt was made at removing unnecessary spaces from references in definitions and proofs.
1 parent cfc373c commit f057011

2 files changed

Lines changed: 9 additions & 9 deletions

File tree

_layouts/definition.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -24,10 +24,10 @@ <h1 class="post-title">Definition: {{ page.title }}</h1>
2424
{% for item in page.sources %}
2525
<li>
2626
{{item.authors}} ({{item.year}}): "{{item.title}}"<!--
27-
-->{% if item.in %}; in: <i>{{item.in}}</i> {% endif %}<!--
28-
-->{% if item.pages %}, {{item.pages}} {% endif %}<!--
29-
-->{% if item.url %}; URL: <a href="{{item.url}}">{{item.url}}</a> {% endif %}<!--
30-
-->{% if item.doi %}; DOI: <a href="https://doi.org/{{item.doi}}">{{item.doi}}</a> {% endif %}.
27+
-->{% if item.in %}; in: <i>{{item.in}}</i>{% endif %}<!--
28+
-->{% if item.pages %}, {{item.pages}}{% endif %}<!--
29+
-->{% if item.url %}; URL: <a href="{{item.url}}">{{item.url}}</a>{% endif %}<!--
30+
-->{% if item.doi %}; DOI: <a href="https://doi.org/{{item.doi}}">{{item.doi}}</a>{% endif %}.
3131
</li>
3232
{% endfor %} </ul><br>
3333
{% else %}

_layouts/proof.html

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -23,11 +23,11 @@ <h1 class="post-title">Proof: {{ page.title }}</h1>
2323
<b>Sources:</b> <br><ul>
2424
{% for item in page.sources %}
2525
<li>
26-
{{item.authors}} ({{item.year}}): "{{item.title}}"
27-
{% if item.in %}; in: <i>{{item.in}}</i> {% endif %}
28-
{% if item.pages %}, {{item.pages}} {% endif %}
29-
{% if item.url %}; URL: <a href="{{item.url}}">{{item.url}}</a> {% endif %}
30-
{% if item.doi %}; DOI: <a href="https://doi.org/{{item.doi}}">{{item.doi}}</a> {% endif %}.
26+
{{item.authors}} ({{item.year}}): "{{item.title}}"<!--
27+
-->{% if item.in %}; in: <i>{{item.in}}</i>{% endif %}<!--
28+
-->{% if item.pages %}, {{item.pages}}{% endif %}<!--
29+
-->{% if item.url %}; URL: <a href="{{item.url}}">{{item.url}}</a>{% endif %}<!--
30+
-->{% if item.doi %}; DOI: <a href="https://doi.org/{{item.doi}}">{{item.doi}}</a>{% endif %}.
3131
</li>
3232
{% endfor %} </ul><br>
3333
{% else %}

0 commit comments

Comments
 (0)