diff --git a/lang/ghc/files/patch-docs_users__guide_rtd-theme_layout.html b/lang/ghc/files/patch-docs_users__guide_rtd-theme_layout.html
new file mode 100644
index 000000000000..011e818e8361
--- /dev/null
+++ b/lang/ghc/files/patch-docs_users__guide_rtd-theme_layout.html
@@ -0,0 +1,25 @@
+--- docs/users_guide/rtd-theme/layout.html.orig	2026-04-18 08:43:54 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, 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