ARCHIVE/xrpl-dev-portal
1
0
Fork 0
mirror of https://github.com/XRPLF/xrpl-dev-portal.git synced 2025-11-29 08:05:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'docsearch3-migration'

Browse Source
This commit is contained in:
mDuo13
2022-11-23 14:35:37 -08:00
parent e3a6935cb2 3568b81c92
commit 1671b67690
9 changed files with 16686 additions and 108 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
template/base.html.jinja
View File

@@ -55,7 +55,7 @@
{% endif %}
<link href="{{currentpage.prefix}}assets/css/devportal2022-v12.css" rel="stylesheet" />
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.css" />
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@docsearch/css@3" />
{% if "js_editor" in currentpage.filters %}
<script src="{{currentpage.prefix}}assets/vendor/jshint.js"></script>
@@ -75,7 +75,7 @@
</head>
<body class="xrp-ledger-dev-portal {% if currentpage.sidebar is undefined or currentpage.sidebar != "disabled" %}sidebar-primary {% endif %}lang-{{target.lang}} {% block bodyclasses %}{% endblock %}" data-spy="scroll" data-target=".page-toc" data-offset="0">
<body class="xrp-ledger-dev-portal {% if currentpage.sidebar is undefined or currentpage.sidebar != "disabled" %}sidebar-primary {% endif %}lang-{{target.lang}} {% block bodyclasses %}{% endblock %}" data-spy="scroll" data-target=".page-toc" data-offset="0" id="xrp-ledger-dev-portal">
<!-- Google Tag Manager (noscript) -->
<noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-KCQZ3L8"
height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
@@ -126,13 +126,15 @@
<link rel="stylesheet" href="{{currentpage.prefix}}assets/vendor/fontawesome/css/font-awesome.min.css" />
<!-- Algolia DocSearch -->
<script type="text/javascript" src="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js"></script>
<script src="https://cdn.jsdelivr.net/npm/@docsearch/js@3"></script>
<meta name="docsearch:language" content="en" />
<script type="text/javascript">
$(document).ready(() => {
const ds = docsearch({
apiKey: '70de5b9b8ef95460f3c6e04054b325b2',
apiKey: '3431349deec23b0bc3dcd3424beb9a6e',
indexName: 'xrpl',
inputSelector: '#topsearchbox',
container: '#topsearchboxcontainer',
appId: 'R39QY3MZC7',
algoliaOptions: { 'facetFilters': ["lang:{{target.lang}}"] },
debug: false
});