gen_docu: put hrules between nodes, separate flags by commas

diff --git a/scripts/gen_docu.py b/scripts/gen_docu.py
index f747af3..4415954 100755 (executable)
--- a/scripts/gen_docu.py
+++ b/scripts/gen_docu.py
@@ -84,8 +84,12 @@ docu_template = env.from_string(
                                        {% endfor %}
                                        {% endif %}
                                        </dl>
+                                       {% set comma = joiner(", ") %}
                                        <h5>Flags</h5>
-                                       {% for flag in node.flags %} {{flag}} {% endfor %}
+                                       {% for flag in node.flags -%}
+                                               {{comma()}}{{flag}}
+                                       {%- endfor %}
+                                       <hr/>
                                </div>
                                {% endfor %}
                        </div></div>

diff --git a/scripts/style.css b/scripts/style.css
index 53927f2..2fbc5f7 100644 (file)
--- a/scripts/style.css
+++ b/scripts/style.css
@@ -82,6 +82,12 @@ div.footer a {
        color: #888;
 }
 
+div.section hr {
+       margin-top: 30px;
+       text-align: center;
+       width: 95%;
+}
+
 a {
        color: #aa0000;
        text-decoration: underline;