Files
ports/lang/ghc/files/patch-docs_users__guide_rtd-theme_layout.html
2026-10-04 04:07:15 +00:00

26 lines
998 B
HTML

--- docs/users_guide/rtd-theme/layout.html.orig 2026-03-26 05:06:13 UTC
+++ docs/users_guide/rtd-theme/layout.html
@@ -29,15 +29,19 @@
<link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}" type="text/css" />
{%- endif %}
{%- for css in css_files %}
- {%- if css|attr("rel") %}
- <link rel="{{ css.rel }}" href="{{ pathto(css.filename, 1) }}" type="text/css"{% if css.title is not none %} title="{{ css.title }}"{% endif %} />
+ {%- if css|attr("filename") %}
+ {{css_tag(css) }}
{%- else %}
<link rel="stylesheet" href="{{ pathto(css.filename, 1) }}" type="text/css" />
{%- endif %}
{%- endfor %}
{%- for cssfile in extra_css_files %}
- <link rel="stylesheet" href="{{ pathto(cssfile, 1) }}" type="text/css" />
+ {%- if cssfile|attr("filename") %}
+ {{css_tag(css) }}
+ {%- else %}
+ <link rel="stylesheet" href="{{ pathto(cssfile, 1) }}" type="text/css" />
+ {%- endif %}
{%- endfor -%}
{#- FAVICON