Fixs padding guide button

Author: netodevel

extensions/vertx-http/deployment/src/main/resources/dev-static/css/dev-console.css

@@ -101,3 +101,7 @@ h1 {
     overflow-y: auto;
     overflow-x: hidden;
 }
+
+.guide-padding-right {
+    padding-right: 0.25rem;
+}

extensions/vertx-http/deployment/src/main/resources/dev-templates/tags/actionableExtension.html

@@ -1,6 +1,6 @@
 <div class="col mb-4">
     <div class="card h-100 shadow">
-        <div class="card-header bg-primary text-light">
+        <div class="card-header bg-primary text-light guide-padding-right">
             <div class="row">
                 <div class="col-md-10">
                     {it['name']}

extensions/vertx-http/deployment/src/main/resources/dev-templates/tags/nonActionableExtension.html

@@ -1,7 +1,7 @@
 {#if it['metadata'] && it['metadata']['unlisted'] != true}
 <div class="col mb-4">
     <div class="card h-100">
-        <div class="card-header">
+        <div class="card-header guide-padding-right">
             <div class="row">
                 <div class="col-md-10">
                     {it['name']}