Change docs to "green" theme. Fix odds and ends.