Fix disappearing editor when folding all

Also: simplify the editor stylesheet a bit. Still some more to do but
fixing this issue is more important.