Thebe touchups

Max Guichardrequested to merge
thebe-touchups into main

Some final touch ups to improve the usability of Thebe. This branches off from the Docker MR.

  • Proper indication of package loading. This is also to prepare for #31 (closed).
  • Indication of when initialization cells (thebe-init) are done executing.
  • Improve CSS for thebe-remove-input-init and hide-input.
  • Move and update documentation.
Edited by Max Guichard

Merge request reports