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

shrink lang selector dropdown

Browse Source
This commit is contained in:
mDuo13
2022-11-15 17:30:37 -08:00
parent 51e383bfa8
commit 8a5d5860c8
4 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
template/base.html.jinja
View File

@@ -53,7 +53,7 @@
{% if target.lang=="ja" %}
<link href="{{currentpage.prefix}}assets/css/fonts-ja.css" rel="stylesheet" />
{% endif %}
<link href="{{currentpage.prefix}}assets/css/devportal2022-v11a.css" rel="stylesheet" />
<link href="{{currentpage.prefix}}assets/css/devportal2022-v11b.css" rel="stylesheet" />
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.css" />