Some changes to update the not-yet-readiness of the site on the main pages
Updated rp_sub to have paragraph breaks between; finished annotations, defs, and theorems (first runthrough) on 82