mirror of
https://github.com/wavetermdev/waveterm.git
synced 2024-12-22 16:48:23 +01:00
c5d4a0e1f3
* convert table to div * remove comment * more history UI updates. copy/use controls, change font, fix scroll area * use css variables * fix textfield placeholder color * put back input styles * change overflow-x to auto |
||
---|---|---|
.. | ||
default.css | ||
light.css | ||
term-dark.css | ||
term-default.css | ||
term-light.css |