add theme option 'pdf_url'

Signed-off-by: Unai Martinez-Corral <[email protected]>

Author: umarcor

sphinx_immaterial/__init__.py

@@ -30,6 +30,7 @@
         "search": {},
     },
     "icon": {},
+    "pdf_url": "",
     "repo_url": "",
     "edit_uri": "",
     "globaltoc_collapse": True,
@@ -214,6 +215,7 @@ def html_page_context(
                 "theme": theme_options,
                 "site_url": theme_options.get("site_url"),
                 "site_name": context["docstitle"],
+                "pdf_url": theme_options.get("pdf_url"),
                 "repo_url": theme_options.get("repo_url"),
                 "repo_name": theme_options.get("repo_name", None),
                 "extra": {

sphinx_immaterial/theme.conf

@@ -54,6 +54,9 @@ repo_type = github
 # source file. This is typically in the form of 'blob/<branch name>/<docs source folder>'.
 edit_uri =
 
+# Relative or absolute location of the PDF
+pdf_url =
+
 # Sitemap generation
 # Specify a base_url used to generate sitemap.xml links. If not specified, then
 # no sitemap will be built.

src/partials/header.html

@@ -134,6 +134,21 @@
       </div>
     {% endif %}
 
+    <!-- Link to PDF -->
+    {% if config.pdf_url %}
+      <div class="md-header__button">
+        <a
+          href="{{ config.pdf_url }}"
+          title="PDF - {{ config.pdf_url }}"
+        >
+          <div class="md-icon">
+            {% set icon = config.theme.icon.pdf or "fontawesome/solid/file-pdf" %}
+            {% include ".icons/" ~ icon ~ ".svg" %}
+          </div>
+        </a>
+      </div>
+    {% endif %}
+
     <!-- Button to open search modal -->
     {% if "search" in config.plugins %}
       <label class="md-header__button md-icon" for="__search">