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