add some unused presets

2026-08-16 13:13:16 +02:00 · 2023-11-15 08:40:06 -08:00
parent ab528b78cf
commit 166bb98333
4 changed files with 48 additions and 1 deletions
@@ -41,7 +41,7 @@ def javascript_html():

    if args_manager.args.theme:
        head += f'<script type="text/javascript">set_theme(\"{args_manager.args.theme}\");</script>\n'
-    
+
    return head