This is an automated email from the ASF dual-hosted git repository.
wave pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/petri-site.git
The following commit(s) were added to refs/heads/master by this push:
new 8976feb Edit Page badge
8976feb is described below
commit 8976febde0220f765255415b9caa8fda1f4153b0
Author: Dave Fisher <[email protected]>
AuthorDate: Thu Apr 8 14:50:28 2021 -0700
Edit Page badge
---
theme/apache/templates/base.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/theme/apache/templates/base.html b/theme/apache/templates/base.html
index d73c58e..eb46d92 100644
--- a/theme/apache/templates/base.html
+++ b/theme/apache/templates/base.html
@@ -34,7 +34,7 @@
<div class="container">
{% block content %}
{% endblock %}
- <p><span class="badge badge-secondary">Edit</span><a href="{{
SITEREPOSITORY }}{{ page.slug }}.md">Page Source</a></p>
+ <h4><span class="badge badge-secondary"><a href="{{ SITEREPOSITORY
}}{{ page.slug }}.md">Edit Page</a></span></h4>
</div>
{% include "footer.html" %}
