cls: fix initial option defaults
top: compact spaces examples
top: refine definition of compact subspace
cls: change font of theorem captions
cls: swap section number/caption in header
cls: convert output configuration to an option
fixup config output
cls: change spacing in header
cls: cosmetics
top: conituity in a point, definition
top: various changes