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