diff --git a/docs/_static/css/zama.css b/docs/_static/css/zama.css index bd74c1373..a80d41c2b 100644 --- a/docs/_static/css/zama.css +++ b/docs/_static/css/zama.css @@ -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 */ diff --git a/docs/_static/favicon.ico b/docs/_static/favicon.ico new file mode 100644 index 000000000..fb2fa5a15 Binary files /dev/null and b/docs/_static/favicon.ico differ diff --git a/docs/logo-black.png b/docs/_static/logo.png similarity index 100% rename from docs/logo-black.png rename to docs/_static/logo.png diff --git a/docs/_templates/layout.html b/docs/_templates/layout.html index 5883f91f4..8c127267f 100644 --- a/docs/_templates/layout.html +++ b/docs/_templates/layout.html @@ -16,6 +16,24 @@ + + {#- Do not conflict with RTD insertion of analytics script #} + {%- if not READTHEDOCS %} + {%- if theme_analytics_id %} + + + + {%- endif %} + {%- endif %} + {{- metatags }} @@ -125,7 +143,9 @@
- Docs home + {%- if show_docs_home_link %} + Docs home + {%- endif %} Visit Zama
{%- block extrabody %} {% endblock %} @@ -236,24 +256,6 @@ }); - {#- Do not conflict with RTD insertion of analytics script #} - {%- if not READTHEDOCS %} - {%- if theme_analytics_id %} - - - - - {%- endif %} - {%- endif %} - {%- block footer %} {% endblock %} diff --git a/docs/conf.py b/docs/conf.py index 158558e83..8bc6aa66a 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -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,