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 %}
> <link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}"
> type="text/css" />
> + {% endfor %}
> <link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}"
> 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
