Wrote draft of section on complexity classes. Fixed styling for definitions.