Theatrium Pro is described at /manual/theatrium-pro/.