Updated documentclass in response to a change in the project-docs repository.

Now, the "ifthen" package is used as well.