wangweimin 54481daf14 frontend: fix tables expand beyond parent div vor 4 Jahren
..
codemirror 7b96833885 maint(frontend): use base16-light as codemirror default theme vor 5 Jahren
css 54481daf14 frontend: fix tables expand beyond parent div vor 4 Jahren
image b8812be2a3 use favicon.ico to indicate connection status vor 5 Jahren
js 4ecc7c394f feat: add `toast()` to make notification vor 4 Jahren
index.html e3189a0cea maint: remove `output_fixed_height` setting vor 4 Jahren