In order to save room, inheritances should be able to be lazily copied within the DOM via JS whenever the user expands them.

This might not be the preferred solution (docs should work without JS). Maybe this can be done via clever templates (output only names of inherited stuff, let the main HTML template have the JS to lazily load everything).