diff options
Diffstat (limited to 'scripts/style_api_gen.py')
-rwxr-xr-x | scripts/style_api_gen.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/style_api_gen.py b/scripts/style_api_gen.py index 56966d80f..3cf878509 100755 --- a/scripts/style_api_gen.py +++ b/scripts/style_api_gen.py @@ -384,6 +384,8 @@ def local_style_set(p): print("}") print("") + + def docs(p): if "dsc" not in p: return @@ -398,7 +400,9 @@ def docs(p): e = "No" if p["ext_draw"]: e = "Yes" - print("### " + p["name"]) + li_style = "style='display:inline; margin-right: 20px" + + print("<h3>" + p["name"].lower() + "</h3>") print(p["dsc"]) print("<ul>") |