mirror of
https://github.com/digital-asset/daml.git
synced 2024-11-10 10:46:11 +03:00
24116e4fa2
* Fix copyright messages. The (C) Copyright gets inserted automatically. CHANGELOG_BEGIN CHANGELOG_END * Update favicons * Reduce z-indices * Improve inline search hover effect * Avoid putting "null" in the search bar * Address Gary's feedback * Remove pycache * Improve gitignore * Change © to (c)
270 lines
10 KiB
HTML
270 lines
10 KiB
HTML
<!-- Copyright (c) 2021 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved. -->
|
|
<!-- SPDX-License-Identifier: Apache-2.0 -->
|
|
|
|
{# TEMPLATE VAR SETTINGS #}
|
|
{%- set url_root = pathto('', 1) %}
|
|
{%- if url_root == '#' %}{% set url_root = '' %}{% endif %}
|
|
{%- set is_index = theme_index_page_boxes and url_root == './' %}
|
|
{%- if not embedded and docstitle %}
|
|
{%- set titlesuffix = " — "|safe + docstitle|e %}
|
|
{%- else %}
|
|
{%- set titlesuffix = "" %}
|
|
{%- endif %}
|
|
{%- set lang_attr = 'en' if language == None else (language | replace('_', '-')) %}
|
|
|
|
<!DOCTYPE html>
|
|
<!--[if IE 8]><html class="no-js lt-ie9" lang="{{ lang_attr }}" > <![endif]-->
|
|
<!--[if gt IE 8]><!-->
|
|
<html class="no-js" lang="{{ lang_attr }}">
|
|
<!--<![endif]-->
|
|
|
|
<head>
|
|
<meta charset="utf-8">
|
|
{{ metatags }}
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
{% block htmltitle %}
|
|
<title>{{ title|striptags|e }}{{ titlesuffix }}</title>
|
|
{% endblock %}
|
|
|
|
{# FAVICON #}
|
|
{% if favicon %}
|
|
<link rel="shortcut icon" href="{{ pathto('_static/' + favicon, 1) }}" />
|
|
{% endif %}
|
|
{# CANONICAL URL #}
|
|
{% if theme_canonical_url %}
|
|
<link rel="canonical" href="{{ theme_canonical_url }}{{ pagename }}.html" />
|
|
{% endif %}
|
|
|
|
{# JAVASCRIPTS #}
|
|
<script type="text/javascript" src="{{ pathto('_static/js/modernizr.min.js', 1) }}"></script>
|
|
{%- if not embedded %}
|
|
{# XXX Sphinx 1.8.0 made this an external js-file, quick fix until we refactor the template to inherert more blocks
|
|
directly from sphinx #}
|
|
{% if sphinx_version >= "1.8.0" %}
|
|
<script type="text/javascript" id="documentation_options" data-url_root="{{ pathto('', 1) }}" src="{{ pathto('_static/documentation_options.js', 1) }}"></script>
|
|
{%- for scriptfile in script_files %}
|
|
{{ js_tag(scriptfile) }}
|
|
{%- endfor %}
|
|
{% else %}
|
|
<script type="text/javascript">
|
|
var DOCUMENTATION_OPTIONS = {
|
|
URL_ROOT: '{{ url_root }}',
|
|
VERSION: '{{ release|e }}',
|
|
LANGUAGE: '{{ language }}',
|
|
COLLAPSE_INDEX: false,
|
|
FILE_SUFFIX: '{{ '' if no_search_suffix else file_suffix }}',
|
|
HAS_SOURCE: {{ has_source| lower }},
|
|
SOURCELINK_SUFFIX: '{{ sourcelink_suffix }}'
|
|
};
|
|
</script>
|
|
{%- for scriptfile in script_files %}
|
|
<script type="text/javascript" src="{{ pathto(scriptfile, 1) }}"></script>
|
|
{%- endfor %}
|
|
{% endif %}
|
|
<script type="text/javascript" src="{{ pathto('_static/js/theme.js', 1) }}"></script>
|
|
|
|
{# OPENSEARCH #}
|
|
{%- if use_opensearch %}
|
|
<link rel="search" type="application/opensearchdescription+xml" title="{% trans docstitle=docstitle|e %}Search within {{ docstitle }}{% endtrans %}"
|
|
href="{{ pathto('_static/opensearch.xml', 1) }}" />
|
|
{%- endif %}
|
|
{%- endif %}
|
|
|
|
{# CSS #}
|
|
<link rel="stylesheet" href="{{ pathto('_static/' + style, 1) }}" type="text/css" />
|
|
<link rel="stylesheet" href="{{ pathto('_static/pygments.css', 1) }}" type="text/css" />
|
|
{%- 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 %} />
|
|
{%- 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" />
|
|
{%- endfor %}
|
|
|
|
{%- block linktags %}
|
|
{%- if hasdoc('about') %}
|
|
<link rel="author" title="{{ _('About these documents') }}" href="{{ pathto('about') }}" />
|
|
{%- endif %}
|
|
{%- if hasdoc('genindex') %}
|
|
<link rel="index" title="{{ _('Index') }}" href="{{ pathto('genindex') }}" />
|
|
{%- endif %}
|
|
{%- if hasdoc('search') %}
|
|
<link rel="search" title="{{ _('Search') }}" href="{{ pathto('search') }}" />
|
|
{%- endif %}
|
|
{%- if hasdoc('copyright') %}
|
|
<link rel="copyright" title="{{ _('Copyright') }}" href="{{ pathto('copyright') }}" />
|
|
{%- endif %}
|
|
{%- if next %}
|
|
<link rel="next" title="{{ next.title|striptags|e }}" href="{{ next.link|e }}" />
|
|
{%- endif %}
|
|
{%- if prev %}
|
|
<link rel="prev" title="{{ prev.title|striptags|e }}" href="{{ prev.link|e }}" />
|
|
{%- endif %}
|
|
{%- endblock %}
|
|
{%- block extrahead %} {% endblock %}
|
|
{%- if is_index %}
|
|
<style>
|
|
.wy-nav-content {
|
|
max-width: initial;
|
|
}
|
|
</style>
|
|
{%- endif %}
|
|
|
|
{# Favicons #}
|
|
<link rel="icon" type="image/svg+xml" href="{{ pathto('_static/images/daml-logo-mark-light.svg', 1) }}">
|
|
<link rel="alternate icon" href="{{ pathto('_static/images/daml-favicon-1.ico', 1) }}">
|
|
|
|
<!-- Google Tag Manager -->
|
|
<script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
|
|
new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
|
|
j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
|
|
'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
|
|
})(window,document,'script','dataLayer','GTM-MSWJMNX');</script>
|
|
<!-- End Google Tag Manager -->
|
|
|
|
{# Mopinion #}
|
|
<!-- Mopinion Pastea.se start --><script type="text/javascript">(function(){var id="4s6vwov7ad6qyxhq8iwbyhocrsn2nm36k25";var js=document.createElement("script");js.setAttribute("type","text/javascript");js.setAttribute("src","//deploy.mopinion.com/js/pastease.js");js.async=true;document.getElementsByTagName("head")[0].appendChild(js);var t=setInterval(function(){try{new Pastease.load(id);clearInterval(t)}catch(e){}},50)})();</script><!-- Mopinion Pastea.se end -->
|
|
</head>
|
|
|
|
<body class="wy-body-for-nav">
|
|
<!-- Google Tag Manager (noscript) -->
|
|
<noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-MSWJMNX"
|
|
height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
|
|
<!-- End Google Tag Manager (noscript) -->
|
|
{% block extrabody %} {% endblock %}
|
|
<div class="wy-grid-for-nav">
|
|
|
|
{# SIDE NAV, TOGGLES ON MOBILE #}
|
|
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
|
|
<div class="wy-nav-side-shadow"></div>
|
|
<div class="wy-side-scroll">
|
|
|
|
<div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="main navigation">
|
|
{% block menu %}
|
|
{#
|
|
The singlehtml builder doesn't handle this toctree call when the
|
|
toctree is empty. Skip building this for now.
|
|
#}
|
|
{% if 'singlehtml' not in builder %}
|
|
{% set global_toc = toctree(maxdepth=theme_navigation_depth|int,
|
|
collapse=theme_collapse_navigation|tobool,
|
|
includehidden=theme_includehidden|tobool,
|
|
titles_only=theme_titles_only|tobool) %}
|
|
{% endif %}
|
|
{% if global_toc %}
|
|
{{ global_toc }}
|
|
{% else %}
|
|
<!-- Local TOC -->
|
|
<div class="local-toc">{{ toc }}</div>
|
|
{% endif %}
|
|
{% endblock %}
|
|
{% if theme_pdf_download %}
|
|
<div class="pdf-download"><a href="{{ pathto('_downloads/DigitalAssetSDK.pdf', 1) }}" download>Download as PDF</a></div>
|
|
{% endif %}
|
|
</div>
|
|
</div>
|
|
</nav>
|
|
|
|
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap">
|
|
{%- if is_index %}
|
|
{% set addClass = ' landing' %}
|
|
{% endif %}
|
|
<div class="topbar fixed">
|
|
{# MOBILE NAV, TRIGGLES SIDE NAV ON TOGGLE #}
|
|
<nav class="wy-nav-top" aria-label="top navigation">
|
|
{% block mobile_nav %}
|
|
<i data-toggle="wy-nav-top" class="wy-nav-top-toggle"></i>
|
|
{% endblock %}
|
|
</nav>
|
|
{% include "navbar.html" %}
|
|
|
|
<div class="version {{addClass}}">
|
|
{%- if is_index %}
|
|
<span class="hide-tablet">Documentation </span><span class="hide-mobile">Version </span><span class="version_switcher_placeholder"></span>
|
|
{% else %}
|
|
<span class="hide-mobile">Version </span><span class="version_switcher_placeholder"></span>
|
|
{% endif %}
|
|
</div>
|
|
|
|
|
|
{% include "searchinput.html" %}
|
|
|
|
{%- if not is_index %}
|
|
{% include "onthispage.html" %}
|
|
{% endif %}
|
|
|
|
</div>
|
|
<div class="wy-nav-content{{addClass}}">
|
|
{%- block content %}
|
|
{% if theme_style_external_links|tobool %}
|
|
<div class="rst-content style-external-links"></div>
|
|
{% else %}
|
|
<div class="rst-content">
|
|
{% endif %}
|
|
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
|
|
{%- block document %}
|
|
<div itemprop="articleBody">
|
|
{%- if is_index and activePage != 'search.html' %}
|
|
{% include "boxes.html" %}
|
|
{% else %}
|
|
{% block body %}
|
|
{% endblock %}
|
|
{% endif %}
|
|
</div>
|
|
{% if self.comments()|trim %}
|
|
<div class="articleComments">
|
|
{% block comments %}{% endblock %}
|
|
</div>
|
|
{% endif%}
|
|
{% if not is_index %}
|
|
{% include "footer.html" %}
|
|
{% endif %}
|
|
</div>
|
|
{%- endblock %}
|
|
</div>
|
|
{%- endblock %}
|
|
</div>
|
|
</section>
|
|
</div>
|
|
|
|
{% include "versions.html" %}
|
|
|
|
<script type="text/javascript">
|
|
jQuery(function () {
|
|
SphinxRtdTheme.Navigation.enable({{ 'true' if theme_sticky_navigation | tobool else 'false' }});
|
|
});
|
|
</script>
|
|
|
|
{# Do not conflict with RTD insertion of analytics script #}
|
|
{% if not READTHEDOCS %}
|
|
{% if theme_analytics_id %}
|
|
<!-- Theme Analytics -->
|
|
s<script>
|
|
(function (i, s, o, g, r, a, m) {
|
|
i['GoogleAnalyticsObject'] = r; i[r] = i[r] || function () {
|
|
(i[r].q = i[r].q || []).push(arguments)
|
|
}, i[r].l = 1 * new Date(); a = s.createElement(o),
|
|
m = s.getElementsByTagName(o)[0]; a.async = 1; a.src = g; m.parentNode.insertBefore(a, m)
|
|
})(window, document, 'script', 'https://www.google-analytics.com/analytics.js', 'ga');
|
|
|
|
ga('create', '{{ theme_analytics_id }}', 'auto');
|
|
ga('send', 'pageview');
|
|
</script>
|
|
|
|
{% endif %}
|
|
{% endif %}
|
|
|
|
{%- if not is_index %}
|
|
<div id="inpageContent"></div>
|
|
{% else %}
|
|
<div id="inpageContent" style="display: none;"></div>
|
|
{% endif %}
|
|
|
|
</body>
|
|
</html>
|