{% extends "base.html" %} {% block announce %} {%- if config.extra.unreleased -%} These docs describe jsonrpcserver {{ config.extra.unreleased }}, which isn't on PyPI yet. pip install jsonrpcserver gives you {{ config.extra.pypi_version }}, which sends exception messages to clients. Security has a fix for that, and the changelog lists the other differences. {%- endif -%} {% endblock %} {% block extrahead %} {#- GitHub Pages can't enforce HTTPS for this site yet, so send plain-HTTP visitors to the HTTPS address. -#} {%- set meta = page.meta if page and page.meta else {} -%} {%- if meta.title -%} {%- set title = meta.title -%} {%- elif page and page.title and not page.is_homepage -%} {%- set title = page.title ~ " - " ~ config.site_name -%} {%- else -%} {%- set title = config.site_name -%} {%- endif -%} {%- set description = meta.description or config.site_description -%} {%- set image = config.site_url ~ config.extra.social_image -%} {%- if config.extra.google_site_verification %} {%- endif %} {%- if config.extra.bing_site_verification %} {%- endif %} {%- if page and page.canonical_url %} {%- endif %} {% endblock %}