Pushed. I added a close for the ticket to the commit message.
Thank you for looking into this and fixing it.
Chris
On 14/6/2023 3:36 pm, Utkarsh Verma wrote:
> 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.
> ---
> common/sphinx_rtd_theme_rtems/layout.html | 2 ++
> 1 file changed, 2 insertions(+)
>
> diff --git a/common/sphinx_rtd_theme_rtems/layout.html
> b/common/sphinx_rtd_theme_rtems/layout.html
> index 0fe6c65..91d67b5 100644
> --- a/common/sphinx_rtd_theme_rtems/layout.html
> +++ b/common/sphinx_rtd_theme_rtems/layout.html
> @@ -67,7 +67,9 @@
>{%- endblock %}
>
>{# CSS #}
> + {% for style in styles %}
> type="text/css" />
> + {% endfor %}
> type="text/css" />
>{%- for css in css_files %}
> {%- if css|attr("rel") %}
___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
