Chris Johns authored Feb 21, 2024 and Joel Sherrill committed Feb 21, 2024

- Remove the RTEMS version of the theme

- Use conf.py to specify our style sheet

- Depend on the jQuery contrib package for including jQuery

- Detect the theme is installed

Closes #4994