Improve player UI look and feel #2
Description
Improve the look and feel of the player, especially on mobile devices (phones, tablets). Accessible themes for xterm.js would be nice, too (especially ones to support non-xterm color schemes).
{{ message }}