docs.devilry_theme: Forgot to add it previously.