mirror of
https://git.rtems.org/rtems-docs/
synced 2025-05-18 15:32:12 +08:00

The current Sphinx theme depends on the `style` parameter which got deprecated in v5.1 and finally got removed in v7. Now, the `styles` key should be preferred which is a list of stylesheets. This commit implements this change. Closes #4915