Improve the ordering and flow of docs.
Change the colors of the inline types. Trigger a compilation when someone checks the auto-compile box.