chore: update doc theme to v0.4.1

This commit is contained in:
aquint-zama
2021-10-11 16:16:20 +02:00
committed by Alex Quint
parent 1dbc961dbb
commit 53efda71cf
5 changed files with 56 additions and 25 deletions

View File

@@ -11,8 +11,8 @@
--secondary-color-light: #fff0d9;
--tertiary-color: #414042;
--tertiary-color-light: #e6e7e8;
--link-color: var(--primary-color-darker);
--primary-font: Telegraf, sans-serif;
--link-color: black;
--primary-font: Archivo, sans-serif;
}
.zama-header {
@@ -21,7 +21,6 @@
right: 0;
z-index: 201;
height: 43px;
max-width: 1100px;
background: black;
color: white;
display: flex;
@@ -54,6 +53,11 @@ body {
font-family: var(--primary-font);
}
/* Change code blocks font size slightly (normally 12px)*/
.rst-content pre.literal-block, .rst-content div[class^="highlight"] pre, .rst-content .linenodiv pre {
font-size: 13px !important;
}
.rst-content .toctree-wrapper>p.caption, h1, h2, h3, h4, h5, h6, legend {
font-family: var(--primary-font);
}
@@ -120,6 +124,10 @@ input[type=color], input[type=date], input[type=datetime-local], input[type=date
.wy-nav-content a {
color: var(--link-color);
text-decoration: underline;
}
.rst-footer-buttons a {
text-decoration: none;
}
@@ -127,7 +135,7 @@ input[type=color], input[type=date], input[type=datetime-local], input[type=date
.wy-nav-content a:focus,
.wy-nav-content a:active {
color: var(--link-color);
text-decoration: underline;
text-decoration: none;
}
.wy-nav-content a.btn:hover,
@@ -137,6 +145,19 @@ input[type=color], input[type=date], input[type=datetime-local], input[type=date
text-decoration: none;
}
.wy-nav-content {
max-width: none;
background-color: white;
}
.rst-content {
max-width: 800px;
display: block;
margin-left: auto;
margin-right: auto;
}
.wy-nav-top {
color: #696969;
background: #343131
@@ -191,6 +212,8 @@ dl.class > dt:first-of-type {
display: block !important;
}
/*
* Admonitions
*/

BIN
docs/_static/favicon.ico vendored Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 32 KiB

View File

Before

Width:  |  Height:  |  Size: 11 KiB

After

Width:  |  Height:  |  Size: 11 KiB

View File

@@ -16,6 +16,24 @@
<!DOCTYPE html>
<html class="{{ sphinx_writer }}" lang="{{ lang_attr }}" >
<head>
<!-- theme v0.4.1 -->
{#- Do not conflict with RTD insertion of analytics script #}
{%- if not READTHEDOCS %}
{%- if theme_analytics_id %}
<!-- Theme Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id={{ theme_analytics_id }}"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', '{{ theme_analytics_id }}', {
'anonymize_ip': 'true',
});
</script>
{%- endif %}
{%- endif %}
<meta charset="utf-8" />
{{- metatags }}
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
@@ -125,7 +143,9 @@
<body class="wy-body-for-nav">
<div class="zama-header">
<a href="https://docs.zama.ai/concrete/">Docs home</a>
{%- if show_docs_home_link %}
<a href="https://docs.zama.ai/concrete/">Docs home</a>
{%- endif %}
<a href="https://zama.ai">Visit Zama</a>
</div>
{%- block extrabody %} {% endblock %}
@@ -236,24 +256,6 @@
});
</script>
{#- Do not conflict with RTD insertion of analytics script #}
{%- if not READTHEDOCS %}
{%- if theme_analytics_id %}
<!-- Theme Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id={{ theme_analytics_id }}"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', '{{ theme_analytics_id }}', {
'anonymize_ip': {{ 'true' if theme_analytics_anonymize_ip|tobool else 'false' }},
});
</script>
{%- endif %}
{%- endif %}
{%- block footer %} {% endblock %}
</body>

View File

@@ -66,14 +66,20 @@ nbsphinx_codecell_lexer = 'ipython3'
#
html_theme = "sphinx_rtd_theme"
html_style = "css/zama.css"
html_logo = "logo-black.png"
html_logo = "_static/logo.png"
html_favicon = "_static/favicon.ico"
html_theme_options = {
"logo_only": False,
"analytics_id": "G-XRM93J9QBW",
"collapse_navigation": True,
}
pygments_style = "zenburn"
html_last_updated_fmt = None # '%b %d, %Y'
html_show_copyright = True
html_show_sphinx = False
pygments_style = "zenburn"
html_context = {
"show_docs_home_link": True, # Show/hide docs link in top menu
}
# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,