Right Sidebar updates

2025-11-20 11:45:50 +00:00 · 2019-05-09 10:24:48 -07:00
parent e87849541e
commit 003196de99
8 changed files with 77 additions and 51 deletions
--- a/tool/template-rest-api-tool.html
+++ b/tool/template-rest-api-tool.html
@@ -1,8 +1,10 @@
 {% extends "template-base.html" %}

 {% block right_sidebar %}
-    <ul id='command_list'>
-    </ul>
+    <div class="card">
+        <ul class="dev_nav_sidebar card-body" id='command_list'>
+        </ul>
+    </div>
 {% endblock %}

 {% block main %}