[petri-site] branch master updated: Edit Page badge

[wave]

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 <dave2w...@comcast.net>
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" %}