solidity/docs/conf.py

303 lines
9.5 KiB
Python
Raw Normal View History

2015-12-07 20:16:25 +00:00
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
#
# Solidity documentation build configuration file, created by
# sphinx-quickstart on Mon Dec 7 12:32:57 2015.
#
# This file is execfile()d with the current directory set to its
# containing dir.
#
# Note that not all possible configuration values are present in this
# autogenerated file.
#
# All configuration values have a default; values that are commented out
# serve to show the default.
import sys
import os
import re
2015-12-07 20:16:25 +00:00
docs: use Yul lexer to highlight Yul code segments. Many commits squashed; turns out that with the combination of: * Python v2.7, * Sphinx v1.8.5, and * Pygments v2.3.1 versions (old!) used in the CI, the only viable approach is: * to use `code-block` directives with explicit language specification, * to provide no file-local default using `highlight`, and * to set language as `none` for grammar specifications. Underlying are the following issues (again, for the old versions listed above): * Generic RST `code` doesn't work when language is `none`: Warning, treated as error: /root/project/docs/yul.rst:430:Cannot analyze code. No Pygments lexer found for "none". Additionally, it might be trying to fall back to the default (Solidity) if left unspecified. * If a file-local default is specified using `highlight`, then `code-block` _must_ also provide a language: Warning, treated as error: /root/project/docs/yul.rst:185:Error in "code-block" directive: 1 argument(s) required, 0 supplied. * Sphinx seems to try the file-local default "yul" (specified with `highlight`) on `code` marked having language `json`: Warning, treated as error: /root/project/docs/yul.rst:130:Could not lex literal_block as "yul". Highlighting skipped. * The only well-lexed highlighter for two of the three grammar specifications is `peg`, but it was added in Pygments v2.6. One of the grammars - in the "Formal Specification" section, the one after "We will use a destructuring notation for the AST nodes." - _must_ be left unhighlighted, with language set to `none`: all lexers do really poorly. ... And one should never, ever start treating warnings as mere warnings, without having exhausted all other options. Otherwise, it's a slippery slope, - and look where that brought Gandhi: to being a strawman in every lousy argument to be had!..
2020-04-26 08:36:05 +00:00
from pygments_lexer_solidity import SolidityLexer, YulLexer
2020-02-04 16:01:13 +00:00
2015-12-07 20:16:25 +00:00
# If extensions (or modules to document with autodoc) are in another directory,
# add these directories to sys.path here. If the directory is relative to the
# documentation root, use os.path.abspath to make it absolute, like shown here.
ROOT_PATH = os.path.dirname(os.path.realpath(__file__))
sys.path.insert(0, os.path.join(ROOT_PATH, 'ext'))
def setup(sphinx):
sphinx.add_lexer('Solidity', SolidityLexer)
sphinx.add_lexer('Yul', YulLexer)
2015-12-07 20:16:25 +00:00
Squashed commit of the following: (#14401) commit 6f38009a31b2ff5d6f53de7b74469f495fe04092 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:36:03 2023 -0700 remove default sphinx footer commit 0d842749566f40fa8c2dd434fa67bcc5e9df3aa0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:21:26 2023 -0700 linting commit c8484ac7c1f54067b0d3c4aa4aa81de7d36df71d Merge: 8339800d0 b583e9e64 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:15:03 2023 -0700 Merge branch 'develop' into docs-rebrand commit 8339800d0fdd197f589337e1198867d4198a3850 Merge: 633c673c5 88d5e06d4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:58 2023 -0700 Merge branch 'rebrand' into docs-rebrand commit 88d5e06d4ce79696b9451991b33834ecc55bf66d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:52 2023 -0700 remove dev code commit 633c673c5e227009917d888e1f0991f33aa75f44 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:02:25 2023 -0700 update home url poitner to production domain commit b3689cb7c230e1fb3a97400e5412ec14c34fc586 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:34 2023 -0700 fix external link arrow to match core site commit b7a28a5dfe7517a88870afe67783e9e300b85af4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:19 2023 -0700 swap in cdnfonts for overpass fonts commit e979ad5c9f69c9c7ee369a0700a64ea6d9061c2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 08:30:48 2023 -0700 fix external link arrow spacing/underline commit b90077863cfff5d8776f5dc74f82f061e0162d37 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 16:26:28 2023 -0700 update foot note commit ed9ddfd327cd0e382286abf0c8896c7c879512b2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 13:12:14 2023 -0700 update nav link hover color commit 077d3a0c9333c96cbabc3ce2bccf00afac19a312 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 20:27:05 2023 -0700 bug fixed for header/nav-link styling commit 2584dd2e419255ec93430446bd049ff90155987e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:15:09 2023 -0700 fix link shift bug commit 885d2bc52ca3ed9e4727d7f0eaed0e312fedaaaa Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:13:03 2023 -0700 update nav link hover styling commit d06c81592ad88ad2e81701cec9e85b6a3cee86ee Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:25:37 2023 -0700 extract event listener functions commit 414e444ee67fe937d1295b14ac8591a710bfbdff Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:22:08 2023 -0700 a11y: skip to content link commit 6c628ea73995dad9b9a6fb502bb216d88f0e9602 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:57:24 2023 -0700 fine-tuning more styling commit 71b617abaf27c34fcecaf6e30795687abf9885f7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:37:02 2023 -0700 fix primary link color commit d90627418c605bff4398a9e24ae0c5c685f73992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:30 2023 -0700 fix mobile versions expansion commit f0f0fbbcb74ea35efa6e4cf87ab1d855f1ae2bd2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:16 2023 -0700 update code styling commit 727c7ee9b69427eddd73012a89e6ee9ae1ccec8d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:20:38 2023 -0700 remix link styling commit 4059c00e3d704002ef34f85fd86495f2a4ac9e57 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:19:49 2023 -0700 fix whitespace styling commit 631e2910a53484b97770cad1b3439d412a0ab6d0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 20:33:54 2023 -0700 fix search input styling commit 5e06b22a7200b0774bd135c666b4e3437d342350 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:37:19 2023 -0700 css adjustments commit 637d5122038fd6075cd53d57537d728b730acbcf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:15:05 2023 -0700 selector adjustments, linting commit 781dc7c3009dc406b36cd2bdcb2d02c3c34fafa6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:26:09 2023 -0700 top version/search layout adjustments commit 7341e17003700133659e5f64ee2d1369ac50e434 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:18:21 2023 -0700 update version div styling commit 3a4b3feb581b1799e48d395b73aca05760dc5658 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 21:18:12 2023 -0700 restyle external link arrow for forum link commit e6cef6312ca73c125c01b78573f21c75fcbbfc87 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 20:50:31 2023 -0700 add woff2 fonts, use absolute font urls commit 3bc401b1dbe971501826011a692c38ee9ce4b992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 15:15:26 2023 -0700 fix nav button alignment commit b7d607b7090e1ac6ded55ac6e534549609226236 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 19:02:24 2023 -0700 rename pcm param to color commit d67e23539f720250bb298c11fd2b1b6d7dbb0815 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 17:34:56 2023 -0700 center align footer buttons, fix bug on pre text commit 34a665038dc27e2b8874b3e16ffc581c33f31bc5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 16:40:26 2023 -0700 preload fonts commit 5b987c31455ffe02135e357ea560bbad8a9c6745 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 15:31:41 2023 -0700 antialiased font smoothing commit 9585fb5bb73f67e37a4f9f1da83e7b133f0b4446 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:44:51 2023 -0700 search results styling commit 224ed028b181b3944d2f2e33f4122b15f38f7608 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:29:09 2023 -0700 restore search functionality commit ec5782a01cd0f1c1808b353560c39911c9fdc645 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 21:55:11 2023 -0700 more mobile menu and styling fixes commit c033f05e2ab839309e7d3864ae66c465d801e806 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 13:14:22 2023 -0700 patch location cleaner commit 6cae3b5ad67e38f6decfa18eeacce973783a2fc1 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:49:28 2023 -0700 patch location cleaner commit e86e6a11189ed57f122382c901fe7a0f49518e83 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:40:11 2023 -0700 color mode continuity commit c3ba4ee6c614fa637a34eacbae60c5e88cd018c5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 15:32:11 2023 -0700 refactor layout commit ac3bae8f34ccbd08f68cb784b3ec00bad70a9281 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 14:35:00 2023 -0700 color and styling updates commit 42e301818d3d11152c5ce630c8085db1c1664a13 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 13:23:03 2023 -0700 highlight active nav link commit fb72573c01494486ab9b0942c3f67c372af0d5e6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:34:25 2023 -0700 patch mobile menu bottom scroll stop commit 2dcef754301d35143ea24ca197906c974e128a25 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:32:38 2023 -0700 adjust header icon sizes commit dc75b636b7f442dfe7aaa80ad82470be0f3d4f19 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 21:41:18 2023 -0700 fix header icon sizes commit de70f1a56eba85c89c1f01f37770b1d6bd91d5db Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 19:58:18 2023 -0700 mobile meun debugging commit 1fe20565a838c2f2212cd95045cd309b076c8b2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 13:21:23 2023 -0700 icon color mode improvements commit fcb134a4209371277693e919fb06eaeb53e36cb6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:51:24 2023 -0700 initialize with menu closed commit defa7c78e981037409ec9d2b9ab871910023f5b0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:37:47 2023 -0700 color toggle and mobile menu commit 695d719612be0ed9cac0f246f0eaf91f3fdb2e75 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:39:32 2023 -0700 forum url as external link commit ad182602095909d84331339993b31f2a37bf1cd7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:28:14 2023 -0700 patch contributing path commit fbfeaa7a12a1b9bc86b766a0e490b85d2ded8849 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:20:57 2023 -0700 update contribute path commit f7dbf1f2e0a3e31d164d6cc67c952f89c3f8f49e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:05:22 2023 -0700 dev: point to vercel build for new solidity site commit c344c1df86e78ad6ab9bc066ac75659180d068cf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 14:30:40 2023 -0700 update stylesheets, constants, logos commit c15135378c8568ed93bf685552940cdbe1c07b70 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 10:25:05 2023 -0700 bg color cleanup commit c049df77d9d55adc796bc2f8cd7c186d833aca69 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 19:02:49 2023 -0700 clean up initialize and toggle scripts deprecate dark.css in lieu of a dark more html attribute indicator and css selectors for this attribute. Avoids needing to enable/disable dark stylesheet commit 881c9cce66e18d30b50c467a22d98836698f5b58 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 18:59:24 2023 -0700 import type faces commit e9b26157aabf4374754cf14d9a4a980c92bd139c Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 15:39:00 2023 -0700 implement initial styling adjustments
2023-07-14 18:31:06 +00:00
sphinx.add_css_file('css/fonts.css')
sphinx.add_css_file('css/custom.css')
Squashed commit of the following: (#14401) commit 6f38009a31b2ff5d6f53de7b74469f495fe04092 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:36:03 2023 -0700 remove default sphinx footer commit 0d842749566f40fa8c2dd434fa67bcc5e9df3aa0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:21:26 2023 -0700 linting commit c8484ac7c1f54067b0d3c4aa4aa81de7d36df71d Merge: 8339800d0 b583e9e64 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:15:03 2023 -0700 Merge branch 'develop' into docs-rebrand commit 8339800d0fdd197f589337e1198867d4198a3850 Merge: 633c673c5 88d5e06d4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:58 2023 -0700 Merge branch 'rebrand' into docs-rebrand commit 88d5e06d4ce79696b9451991b33834ecc55bf66d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:52 2023 -0700 remove dev code commit 633c673c5e227009917d888e1f0991f33aa75f44 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:02:25 2023 -0700 update home url poitner to production domain commit b3689cb7c230e1fb3a97400e5412ec14c34fc586 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:34 2023 -0700 fix external link arrow to match core site commit b7a28a5dfe7517a88870afe67783e9e300b85af4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:19 2023 -0700 swap in cdnfonts for overpass fonts commit e979ad5c9f69c9c7ee369a0700a64ea6d9061c2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 08:30:48 2023 -0700 fix external link arrow spacing/underline commit b90077863cfff5d8776f5dc74f82f061e0162d37 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 16:26:28 2023 -0700 update foot note commit ed9ddfd327cd0e382286abf0c8896c7c879512b2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 13:12:14 2023 -0700 update nav link hover color commit 077d3a0c9333c96cbabc3ce2bccf00afac19a312 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 20:27:05 2023 -0700 bug fixed for header/nav-link styling commit 2584dd2e419255ec93430446bd049ff90155987e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:15:09 2023 -0700 fix link shift bug commit 885d2bc52ca3ed9e4727d7f0eaed0e312fedaaaa Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:13:03 2023 -0700 update nav link hover styling commit d06c81592ad88ad2e81701cec9e85b6a3cee86ee Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:25:37 2023 -0700 extract event listener functions commit 414e444ee67fe937d1295b14ac8591a710bfbdff Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:22:08 2023 -0700 a11y: skip to content link commit 6c628ea73995dad9b9a6fb502bb216d88f0e9602 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:57:24 2023 -0700 fine-tuning more styling commit 71b617abaf27c34fcecaf6e30795687abf9885f7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:37:02 2023 -0700 fix primary link color commit d90627418c605bff4398a9e24ae0c5c685f73992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:30 2023 -0700 fix mobile versions expansion commit f0f0fbbcb74ea35efa6e4cf87ab1d855f1ae2bd2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:16 2023 -0700 update code styling commit 727c7ee9b69427eddd73012a89e6ee9ae1ccec8d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:20:38 2023 -0700 remix link styling commit 4059c00e3d704002ef34f85fd86495f2a4ac9e57 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:19:49 2023 -0700 fix whitespace styling commit 631e2910a53484b97770cad1b3439d412a0ab6d0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 20:33:54 2023 -0700 fix search input styling commit 5e06b22a7200b0774bd135c666b4e3437d342350 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:37:19 2023 -0700 css adjustments commit 637d5122038fd6075cd53d57537d728b730acbcf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:15:05 2023 -0700 selector adjustments, linting commit 781dc7c3009dc406b36cd2bdcb2d02c3c34fafa6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:26:09 2023 -0700 top version/search layout adjustments commit 7341e17003700133659e5f64ee2d1369ac50e434 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:18:21 2023 -0700 update version div styling commit 3a4b3feb581b1799e48d395b73aca05760dc5658 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 21:18:12 2023 -0700 restyle external link arrow for forum link commit e6cef6312ca73c125c01b78573f21c75fcbbfc87 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 20:50:31 2023 -0700 add woff2 fonts, use absolute font urls commit 3bc401b1dbe971501826011a692c38ee9ce4b992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 15:15:26 2023 -0700 fix nav button alignment commit b7d607b7090e1ac6ded55ac6e534549609226236 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 19:02:24 2023 -0700 rename pcm param to color commit d67e23539f720250bb298c11fd2b1b6d7dbb0815 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 17:34:56 2023 -0700 center align footer buttons, fix bug on pre text commit 34a665038dc27e2b8874b3e16ffc581c33f31bc5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 16:40:26 2023 -0700 preload fonts commit 5b987c31455ffe02135e357ea560bbad8a9c6745 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 15:31:41 2023 -0700 antialiased font smoothing commit 9585fb5bb73f67e37a4f9f1da83e7b133f0b4446 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:44:51 2023 -0700 search results styling commit 224ed028b181b3944d2f2e33f4122b15f38f7608 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:29:09 2023 -0700 restore search functionality commit ec5782a01cd0f1c1808b353560c39911c9fdc645 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 21:55:11 2023 -0700 more mobile menu and styling fixes commit c033f05e2ab839309e7d3864ae66c465d801e806 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 13:14:22 2023 -0700 patch location cleaner commit 6cae3b5ad67e38f6decfa18eeacce973783a2fc1 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:49:28 2023 -0700 patch location cleaner commit e86e6a11189ed57f122382c901fe7a0f49518e83 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:40:11 2023 -0700 color mode continuity commit c3ba4ee6c614fa637a34eacbae60c5e88cd018c5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 15:32:11 2023 -0700 refactor layout commit ac3bae8f34ccbd08f68cb784b3ec00bad70a9281 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 14:35:00 2023 -0700 color and styling updates commit 42e301818d3d11152c5ce630c8085db1c1664a13 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 13:23:03 2023 -0700 highlight active nav link commit fb72573c01494486ab9b0942c3f67c372af0d5e6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:34:25 2023 -0700 patch mobile menu bottom scroll stop commit 2dcef754301d35143ea24ca197906c974e128a25 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:32:38 2023 -0700 adjust header icon sizes commit dc75b636b7f442dfe7aaa80ad82470be0f3d4f19 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 21:41:18 2023 -0700 fix header icon sizes commit de70f1a56eba85c89c1f01f37770b1d6bd91d5db Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 19:58:18 2023 -0700 mobile meun debugging commit 1fe20565a838c2f2212cd95045cd309b076c8b2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 13:21:23 2023 -0700 icon color mode improvements commit fcb134a4209371277693e919fb06eaeb53e36cb6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:51:24 2023 -0700 initialize with menu closed commit defa7c78e981037409ec9d2b9ab871910023f5b0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:37:47 2023 -0700 color toggle and mobile menu commit 695d719612be0ed9cac0f246f0eaf91f3fdb2e75 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:39:32 2023 -0700 forum url as external link commit ad182602095909d84331339993b31f2a37bf1cd7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:28:14 2023 -0700 patch contributing path commit fbfeaa7a12a1b9bc86b766a0e490b85d2ded8849 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:20:57 2023 -0700 update contribute path commit f7dbf1f2e0a3e31d164d6cc67c952f89c3f8f49e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:05:22 2023 -0700 dev: point to vercel build for new solidity site commit c344c1df86e78ad6ab9bc066ac75659180d068cf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 14:30:40 2023 -0700 update stylesheets, constants, logos commit c15135378c8568ed93bf685552940cdbe1c07b70 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 10:25:05 2023 -0700 bg color cleanup commit c049df77d9d55adc796bc2f8cd7c186d833aca69 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 19:02:49 2023 -0700 clean up initialize and toggle scripts deprecate dark.css in lieu of a dark more html attribute indicator and css selectors for this attribute. Avoids needing to enable/disable dark stylesheet commit 881c9cce66e18d30b50c467a22d98836698f5b58 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 18:59:24 2023 -0700 import type faces commit e9b26157aabf4374754cf14d9a4a980c92bd139c Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 15:39:00 2023 -0700 implement initial styling adjustments
2023-07-14 18:31:06 +00:00
sphinx.add_css_file('css/custom-dark.css')
sphinx.add_css_file('css/pygments.css')
2015-12-07 20:16:25 +00:00
# -- General configuration ------------------------------------------------
# If your documentation needs a minimal Sphinx version, state it here.
#needs_sphinx = '1.0'
# Add any Sphinx extension module names here, as strings. They can be
# extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
# ones.
extensions = [
'sphinx_a4doc',
'html_extra_template_renderer',
'remix_code_links',
2023-04-05 16:35:09 +00:00
'sphinx.ext.imgconverter',
]
2020-08-12 01:05:53 +00:00
a4_base_path = os.path.dirname(__file__) + '/grammar'
2015-12-07 20:16:25 +00:00
# Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates']
# The suffix of source filenames.
source_suffix = '.rst'
# The encoding of source files.
#source_encoding = 'utf-8-sig'
# The master toctree document.
master_doc = 'index'
# General information about the project.
project = 'Solidity'
project_copyright = '2016-2023, The Solidity Authors'
2015-12-07 20:16:25 +00:00
# The version info for the project you're documenting, acts as replacement for
# |version| and |release|, also used in various other places throughout the
# built documents.
#
# The short X.Y version.
with open('../CMakeLists.txt', 'r', encoding='utf8') as f:
version = re.search('PROJECT_VERSION "([^"]+)"', f.read()).group(1)
2015-12-07 20:16:25 +00:00
# The full version, including alpha/beta/rc tags.
if not os.path.isfile('../prerelease.txt') or os.path.getsize('../prerelease.txt') == 0:
release = version
else:
# This is a prerelease version
release = version + '-develop'
2015-12-07 20:16:25 +00:00
# The language for content autogenerated by Sphinx. Refer to documentation
# for a list of supported languages.
#language = None
# There are two options for replacing |today|: either, you set today to some
# non-false value, then it is used:
#today = ''
# Else, today_fmt is used as the format for a strftime call.
#today_fmt = '%B %d, %Y'
# List of patterns, relative to source directory, that match files and
# directories to ignore when looking for source files.
exclude_patterns = ['_build', 'contracts', 'types', 'examples', 'grammar']
2015-12-07 20:16:25 +00:00
# The reST default role (used for this markup: `text`) to use for all
# documents.
#default_role = None
# If true, '()' will be appended to :func: etc. cross-reference text.
#add_function_parentheses = True
# If true, the current module name will be prepended to all description
# unit titles (such as .. function::).
#add_module_names = True
# If true, sectionauthor and moduleauthor directives will be shown in the
# output. They are ignored by default.
#show_authors = False
# The name of the Pygments (syntax highlighting) style to use.
pygments_style = 'sphinx'
highlight_language = 'Solidity'
2015-12-07 20:16:25 +00:00
# A list of ignored prefixes for module index sorting.
#modindex_common_prefix = []
# If true, keep warnings as "system message" paragraphs in the built documents.
#keep_warnings = False
# -- Options for HTML output ----------------------------------------------
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
html_theme = 'sphinx_rtd_theme'
2015-12-07 20:16:25 +00:00
# Theme options are theme-specific and customize the look and feel of a theme
# further. For a list of options available for each theme, see the
# documentation.
2021-09-10 10:16:43 +00:00
html_theme_options = {
'logo_only': True,
'display_version': True,
}
2015-12-07 20:16:25 +00:00
# Add any paths that contain custom themes here, relative to this directory.
#html_theme_path = []
# The name for this set of Sphinx documents. If None, it defaults to
# "<project> v<release> documentation".
#html_title = None
# A shorter title for the navigation bar. Default is the same as html_title.
#html_short_title = None
# The name of an image file (relative to this directory) to place at the top
# of the sidebar.
Squashed commit of the following: (#14401) commit 6f38009a31b2ff5d6f53de7b74469f495fe04092 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:36:03 2023 -0700 remove default sphinx footer commit 0d842749566f40fa8c2dd434fa67bcc5e9df3aa0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:21:26 2023 -0700 linting commit c8484ac7c1f54067b0d3c4aa4aa81de7d36df71d Merge: 8339800d0 b583e9e64 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:15:03 2023 -0700 Merge branch 'develop' into docs-rebrand commit 8339800d0fdd197f589337e1198867d4198a3850 Merge: 633c673c5 88d5e06d4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:58 2023 -0700 Merge branch 'rebrand' into docs-rebrand commit 88d5e06d4ce79696b9451991b33834ecc55bf66d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:52 2023 -0700 remove dev code commit 633c673c5e227009917d888e1f0991f33aa75f44 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:02:25 2023 -0700 update home url poitner to production domain commit b3689cb7c230e1fb3a97400e5412ec14c34fc586 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:34 2023 -0700 fix external link arrow to match core site commit b7a28a5dfe7517a88870afe67783e9e300b85af4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:19 2023 -0700 swap in cdnfonts for overpass fonts commit e979ad5c9f69c9c7ee369a0700a64ea6d9061c2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 08:30:48 2023 -0700 fix external link arrow spacing/underline commit b90077863cfff5d8776f5dc74f82f061e0162d37 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 16:26:28 2023 -0700 update foot note commit ed9ddfd327cd0e382286abf0c8896c7c879512b2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 13:12:14 2023 -0700 update nav link hover color commit 077d3a0c9333c96cbabc3ce2bccf00afac19a312 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 20:27:05 2023 -0700 bug fixed for header/nav-link styling commit 2584dd2e419255ec93430446bd049ff90155987e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:15:09 2023 -0700 fix link shift bug commit 885d2bc52ca3ed9e4727d7f0eaed0e312fedaaaa Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:13:03 2023 -0700 update nav link hover styling commit d06c81592ad88ad2e81701cec9e85b6a3cee86ee Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:25:37 2023 -0700 extract event listener functions commit 414e444ee67fe937d1295b14ac8591a710bfbdff Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:22:08 2023 -0700 a11y: skip to content link commit 6c628ea73995dad9b9a6fb502bb216d88f0e9602 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:57:24 2023 -0700 fine-tuning more styling commit 71b617abaf27c34fcecaf6e30795687abf9885f7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:37:02 2023 -0700 fix primary link color commit d90627418c605bff4398a9e24ae0c5c685f73992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:30 2023 -0700 fix mobile versions expansion commit f0f0fbbcb74ea35efa6e4cf87ab1d855f1ae2bd2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:16 2023 -0700 update code styling commit 727c7ee9b69427eddd73012a89e6ee9ae1ccec8d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:20:38 2023 -0700 remix link styling commit 4059c00e3d704002ef34f85fd86495f2a4ac9e57 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:19:49 2023 -0700 fix whitespace styling commit 631e2910a53484b97770cad1b3439d412a0ab6d0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 20:33:54 2023 -0700 fix search input styling commit 5e06b22a7200b0774bd135c666b4e3437d342350 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:37:19 2023 -0700 css adjustments commit 637d5122038fd6075cd53d57537d728b730acbcf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:15:05 2023 -0700 selector adjustments, linting commit 781dc7c3009dc406b36cd2bdcb2d02c3c34fafa6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:26:09 2023 -0700 top version/search layout adjustments commit 7341e17003700133659e5f64ee2d1369ac50e434 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:18:21 2023 -0700 update version div styling commit 3a4b3feb581b1799e48d395b73aca05760dc5658 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 21:18:12 2023 -0700 restyle external link arrow for forum link commit e6cef6312ca73c125c01b78573f21c75fcbbfc87 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 20:50:31 2023 -0700 add woff2 fonts, use absolute font urls commit 3bc401b1dbe971501826011a692c38ee9ce4b992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 15:15:26 2023 -0700 fix nav button alignment commit b7d607b7090e1ac6ded55ac6e534549609226236 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 19:02:24 2023 -0700 rename pcm param to color commit d67e23539f720250bb298c11fd2b1b6d7dbb0815 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 17:34:56 2023 -0700 center align footer buttons, fix bug on pre text commit 34a665038dc27e2b8874b3e16ffc581c33f31bc5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 16:40:26 2023 -0700 preload fonts commit 5b987c31455ffe02135e357ea560bbad8a9c6745 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 15:31:41 2023 -0700 antialiased font smoothing commit 9585fb5bb73f67e37a4f9f1da83e7b133f0b4446 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:44:51 2023 -0700 search results styling commit 224ed028b181b3944d2f2e33f4122b15f38f7608 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:29:09 2023 -0700 restore search functionality commit ec5782a01cd0f1c1808b353560c39911c9fdc645 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 21:55:11 2023 -0700 more mobile menu and styling fixes commit c033f05e2ab839309e7d3864ae66c465d801e806 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 13:14:22 2023 -0700 patch location cleaner commit 6cae3b5ad67e38f6decfa18eeacce973783a2fc1 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:49:28 2023 -0700 patch location cleaner commit e86e6a11189ed57f122382c901fe7a0f49518e83 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:40:11 2023 -0700 color mode continuity commit c3ba4ee6c614fa637a34eacbae60c5e88cd018c5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 15:32:11 2023 -0700 refactor layout commit ac3bae8f34ccbd08f68cb784b3ec00bad70a9281 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 14:35:00 2023 -0700 color and styling updates commit 42e301818d3d11152c5ce630c8085db1c1664a13 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 13:23:03 2023 -0700 highlight active nav link commit fb72573c01494486ab9b0942c3f67c372af0d5e6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:34:25 2023 -0700 patch mobile menu bottom scroll stop commit 2dcef754301d35143ea24ca197906c974e128a25 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:32:38 2023 -0700 adjust header icon sizes commit dc75b636b7f442dfe7aaa80ad82470be0f3d4f19 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 21:41:18 2023 -0700 fix header icon sizes commit de70f1a56eba85c89c1f01f37770b1d6bd91d5db Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 19:58:18 2023 -0700 mobile meun debugging commit 1fe20565a838c2f2212cd95045cd309b076c8b2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 13:21:23 2023 -0700 icon color mode improvements commit fcb134a4209371277693e919fb06eaeb53e36cb6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:51:24 2023 -0700 initialize with menu closed commit defa7c78e981037409ec9d2b9ab871910023f5b0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:37:47 2023 -0700 color toggle and mobile menu commit 695d719612be0ed9cac0f246f0eaf91f3fdb2e75 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:39:32 2023 -0700 forum url as external link commit ad182602095909d84331339993b31f2a37bf1cd7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:28:14 2023 -0700 patch contributing path commit fbfeaa7a12a1b9bc86b766a0e490b85d2ded8849 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:20:57 2023 -0700 update contribute path commit f7dbf1f2e0a3e31d164d6cc67c952f89c3f8f49e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:05:22 2023 -0700 dev: point to vercel build for new solidity site commit c344c1df86e78ad6ab9bc066ac75659180d068cf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 14:30:40 2023 -0700 update stylesheets, constants, logos commit c15135378c8568ed93bf685552940cdbe1c07b70 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 10:25:05 2023 -0700 bg color cleanup commit c049df77d9d55adc796bc2f8cd7c186d833aca69 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 19:02:49 2023 -0700 clean up initialize and toggle scripts deprecate dark.css in lieu of a dark more html attribute indicator and css selectors for this attribute. Avoids needing to enable/disable dark stylesheet commit 881c9cce66e18d30b50c467a22d98836698f5b58 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 18:59:24 2023 -0700 import type faces commit e9b26157aabf4374754cf14d9a4a980c92bd139c Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 15:39:00 2023 -0700 implement initial styling adjustments
2023-07-14 18:31:06 +00:00
# html_logo = "logo.svg"
2015-12-07 20:16:25 +00:00
# The name of an image file (within the static path) to use as favicon of the
# docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32
# pixels large.
Squashed commit of the following: (#14401) commit 6f38009a31b2ff5d6f53de7b74469f495fe04092 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:36:03 2023 -0700 remove default sphinx footer commit 0d842749566f40fa8c2dd434fa67bcc5e9df3aa0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:21:26 2023 -0700 linting commit c8484ac7c1f54067b0d3c4aa4aa81de7d36df71d Merge: 8339800d0 b583e9e64 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:15:03 2023 -0700 Merge branch 'develop' into docs-rebrand commit 8339800d0fdd197f589337e1198867d4198a3850 Merge: 633c673c5 88d5e06d4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:58 2023 -0700 Merge branch 'rebrand' into docs-rebrand commit 88d5e06d4ce79696b9451991b33834ecc55bf66d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:52 2023 -0700 remove dev code commit 633c673c5e227009917d888e1f0991f33aa75f44 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:02:25 2023 -0700 update home url poitner to production domain commit b3689cb7c230e1fb3a97400e5412ec14c34fc586 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:34 2023 -0700 fix external link arrow to match core site commit b7a28a5dfe7517a88870afe67783e9e300b85af4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:19 2023 -0700 swap in cdnfonts for overpass fonts commit e979ad5c9f69c9c7ee369a0700a64ea6d9061c2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 08:30:48 2023 -0700 fix external link arrow spacing/underline commit b90077863cfff5d8776f5dc74f82f061e0162d37 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 16:26:28 2023 -0700 update foot note commit ed9ddfd327cd0e382286abf0c8896c7c879512b2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 13:12:14 2023 -0700 update nav link hover color commit 077d3a0c9333c96cbabc3ce2bccf00afac19a312 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 20:27:05 2023 -0700 bug fixed for header/nav-link styling commit 2584dd2e419255ec93430446bd049ff90155987e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:15:09 2023 -0700 fix link shift bug commit 885d2bc52ca3ed9e4727d7f0eaed0e312fedaaaa Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:13:03 2023 -0700 update nav link hover styling commit d06c81592ad88ad2e81701cec9e85b6a3cee86ee Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:25:37 2023 -0700 extract event listener functions commit 414e444ee67fe937d1295b14ac8591a710bfbdff Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:22:08 2023 -0700 a11y: skip to content link commit 6c628ea73995dad9b9a6fb502bb216d88f0e9602 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:57:24 2023 -0700 fine-tuning more styling commit 71b617abaf27c34fcecaf6e30795687abf9885f7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:37:02 2023 -0700 fix primary link color commit d90627418c605bff4398a9e24ae0c5c685f73992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:30 2023 -0700 fix mobile versions expansion commit f0f0fbbcb74ea35efa6e4cf87ab1d855f1ae2bd2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:16 2023 -0700 update code styling commit 727c7ee9b69427eddd73012a89e6ee9ae1ccec8d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:20:38 2023 -0700 remix link styling commit 4059c00e3d704002ef34f85fd86495f2a4ac9e57 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:19:49 2023 -0700 fix whitespace styling commit 631e2910a53484b97770cad1b3439d412a0ab6d0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 20:33:54 2023 -0700 fix search input styling commit 5e06b22a7200b0774bd135c666b4e3437d342350 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:37:19 2023 -0700 css adjustments commit 637d5122038fd6075cd53d57537d728b730acbcf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:15:05 2023 -0700 selector adjustments, linting commit 781dc7c3009dc406b36cd2bdcb2d02c3c34fafa6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:26:09 2023 -0700 top version/search layout adjustments commit 7341e17003700133659e5f64ee2d1369ac50e434 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:18:21 2023 -0700 update version div styling commit 3a4b3feb581b1799e48d395b73aca05760dc5658 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 21:18:12 2023 -0700 restyle external link arrow for forum link commit e6cef6312ca73c125c01b78573f21c75fcbbfc87 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 20:50:31 2023 -0700 add woff2 fonts, use absolute font urls commit 3bc401b1dbe971501826011a692c38ee9ce4b992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 15:15:26 2023 -0700 fix nav button alignment commit b7d607b7090e1ac6ded55ac6e534549609226236 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 19:02:24 2023 -0700 rename pcm param to color commit d67e23539f720250bb298c11fd2b1b6d7dbb0815 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 17:34:56 2023 -0700 center align footer buttons, fix bug on pre text commit 34a665038dc27e2b8874b3e16ffc581c33f31bc5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 16:40:26 2023 -0700 preload fonts commit 5b987c31455ffe02135e357ea560bbad8a9c6745 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 15:31:41 2023 -0700 antialiased font smoothing commit 9585fb5bb73f67e37a4f9f1da83e7b133f0b4446 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:44:51 2023 -0700 search results styling commit 224ed028b181b3944d2f2e33f4122b15f38f7608 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:29:09 2023 -0700 restore search functionality commit ec5782a01cd0f1c1808b353560c39911c9fdc645 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 21:55:11 2023 -0700 more mobile menu and styling fixes commit c033f05e2ab839309e7d3864ae66c465d801e806 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 13:14:22 2023 -0700 patch location cleaner commit 6cae3b5ad67e38f6decfa18eeacce973783a2fc1 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:49:28 2023 -0700 patch location cleaner commit e86e6a11189ed57f122382c901fe7a0f49518e83 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:40:11 2023 -0700 color mode continuity commit c3ba4ee6c614fa637a34eacbae60c5e88cd018c5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 15:32:11 2023 -0700 refactor layout commit ac3bae8f34ccbd08f68cb784b3ec00bad70a9281 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 14:35:00 2023 -0700 color and styling updates commit 42e301818d3d11152c5ce630c8085db1c1664a13 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 13:23:03 2023 -0700 highlight active nav link commit fb72573c01494486ab9b0942c3f67c372af0d5e6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:34:25 2023 -0700 patch mobile menu bottom scroll stop commit 2dcef754301d35143ea24ca197906c974e128a25 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:32:38 2023 -0700 adjust header icon sizes commit dc75b636b7f442dfe7aaa80ad82470be0f3d4f19 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 21:41:18 2023 -0700 fix header icon sizes commit de70f1a56eba85c89c1f01f37770b1d6bd91d5db Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 19:58:18 2023 -0700 mobile meun debugging commit 1fe20565a838c2f2212cd95045cd309b076c8b2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 13:21:23 2023 -0700 icon color mode improvements commit fcb134a4209371277693e919fb06eaeb53e36cb6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:51:24 2023 -0700 initialize with menu closed commit defa7c78e981037409ec9d2b9ab871910023f5b0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:37:47 2023 -0700 color toggle and mobile menu commit 695d719612be0ed9cac0f246f0eaf91f3fdb2e75 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:39:32 2023 -0700 forum url as external link commit ad182602095909d84331339993b31f2a37bf1cd7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:28:14 2023 -0700 patch contributing path commit fbfeaa7a12a1b9bc86b766a0e490b85d2ded8849 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:20:57 2023 -0700 update contribute path commit f7dbf1f2e0a3e31d164d6cc67c952f89c3f8f49e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:05:22 2023 -0700 dev: point to vercel build for new solidity site commit c344c1df86e78ad6ab9bc066ac75659180d068cf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 14:30:40 2023 -0700 update stylesheets, constants, logos commit c15135378c8568ed93bf685552940cdbe1c07b70 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 10:25:05 2023 -0700 bg color cleanup commit c049df77d9d55adc796bc2f8cd7c186d833aca69 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 19:02:49 2023 -0700 clean up initialize and toggle scripts deprecate dark.css in lieu of a dark more html attribute indicator and css selectors for this attribute. Avoids needing to enable/disable dark stylesheet commit 881c9cce66e18d30b50c467a22d98836698f5b58 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 18:59:24 2023 -0700 import type faces commit e9b26157aabf4374754cf14d9a4a980c92bd139c Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 15:39:00 2023 -0700 implement initial styling adjustments
2023-07-14 18:31:06 +00:00
html_favicon = "_static/img/favicon.ico"
2015-12-07 20:16:25 +00:00
# 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,
# so a file named "default.css" will overwrite the builtin "default.css".
2018-08-09 20:42:19 +00:00
html_static_path = ['_static']
2015-12-07 20:16:25 +00:00
2020-04-20 16:23:45 +00:00
html_css_files = ["css/toggle.css"]
Squashed commit of the following: (#14401) commit 6f38009a31b2ff5d6f53de7b74469f495fe04092 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:36:03 2023 -0700 remove default sphinx footer commit 0d842749566f40fa8c2dd434fa67bcc5e9df3aa0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:21:26 2023 -0700 linting commit c8484ac7c1f54067b0d3c4aa4aa81de7d36df71d Merge: 8339800d0 b583e9e64 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:15:03 2023 -0700 Merge branch 'develop' into docs-rebrand commit 8339800d0fdd197f589337e1198867d4198a3850 Merge: 633c673c5 88d5e06d4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:58 2023 -0700 Merge branch 'rebrand' into docs-rebrand commit 88d5e06d4ce79696b9451991b33834ecc55bf66d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:52 2023 -0700 remove dev code commit 633c673c5e227009917d888e1f0991f33aa75f44 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:02:25 2023 -0700 update home url poitner to production domain commit b3689cb7c230e1fb3a97400e5412ec14c34fc586 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:34 2023 -0700 fix external link arrow to match core site commit b7a28a5dfe7517a88870afe67783e9e300b85af4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:19 2023 -0700 swap in cdnfonts for overpass fonts commit e979ad5c9f69c9c7ee369a0700a64ea6d9061c2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 08:30:48 2023 -0700 fix external link arrow spacing/underline commit b90077863cfff5d8776f5dc74f82f061e0162d37 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 16:26:28 2023 -0700 update foot note commit ed9ddfd327cd0e382286abf0c8896c7c879512b2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 13:12:14 2023 -0700 update nav link hover color commit 077d3a0c9333c96cbabc3ce2bccf00afac19a312 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 20:27:05 2023 -0700 bug fixed for header/nav-link styling commit 2584dd2e419255ec93430446bd049ff90155987e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:15:09 2023 -0700 fix link shift bug commit 885d2bc52ca3ed9e4727d7f0eaed0e312fedaaaa Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:13:03 2023 -0700 update nav link hover styling commit d06c81592ad88ad2e81701cec9e85b6a3cee86ee Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:25:37 2023 -0700 extract event listener functions commit 414e444ee67fe937d1295b14ac8591a710bfbdff Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:22:08 2023 -0700 a11y: skip to content link commit 6c628ea73995dad9b9a6fb502bb216d88f0e9602 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:57:24 2023 -0700 fine-tuning more styling commit 71b617abaf27c34fcecaf6e30795687abf9885f7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:37:02 2023 -0700 fix primary link color commit d90627418c605bff4398a9e24ae0c5c685f73992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:30 2023 -0700 fix mobile versions expansion commit f0f0fbbcb74ea35efa6e4cf87ab1d855f1ae2bd2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:16 2023 -0700 update code styling commit 727c7ee9b69427eddd73012a89e6ee9ae1ccec8d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:20:38 2023 -0700 remix link styling commit 4059c00e3d704002ef34f85fd86495f2a4ac9e57 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:19:49 2023 -0700 fix whitespace styling commit 631e2910a53484b97770cad1b3439d412a0ab6d0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 20:33:54 2023 -0700 fix search input styling commit 5e06b22a7200b0774bd135c666b4e3437d342350 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:37:19 2023 -0700 css adjustments commit 637d5122038fd6075cd53d57537d728b730acbcf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:15:05 2023 -0700 selector adjustments, linting commit 781dc7c3009dc406b36cd2bdcb2d02c3c34fafa6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:26:09 2023 -0700 top version/search layout adjustments commit 7341e17003700133659e5f64ee2d1369ac50e434 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:18:21 2023 -0700 update version div styling commit 3a4b3feb581b1799e48d395b73aca05760dc5658 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 21:18:12 2023 -0700 restyle external link arrow for forum link commit e6cef6312ca73c125c01b78573f21c75fcbbfc87 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 20:50:31 2023 -0700 add woff2 fonts, use absolute font urls commit 3bc401b1dbe971501826011a692c38ee9ce4b992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 15:15:26 2023 -0700 fix nav button alignment commit b7d607b7090e1ac6ded55ac6e534549609226236 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 19:02:24 2023 -0700 rename pcm param to color commit d67e23539f720250bb298c11fd2b1b6d7dbb0815 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 17:34:56 2023 -0700 center align footer buttons, fix bug on pre text commit 34a665038dc27e2b8874b3e16ffc581c33f31bc5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 16:40:26 2023 -0700 preload fonts commit 5b987c31455ffe02135e357ea560bbad8a9c6745 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 15:31:41 2023 -0700 antialiased font smoothing commit 9585fb5bb73f67e37a4f9f1da83e7b133f0b4446 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:44:51 2023 -0700 search results styling commit 224ed028b181b3944d2f2e33f4122b15f38f7608 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:29:09 2023 -0700 restore search functionality commit ec5782a01cd0f1c1808b353560c39911c9fdc645 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 21:55:11 2023 -0700 more mobile menu and styling fixes commit c033f05e2ab839309e7d3864ae66c465d801e806 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 13:14:22 2023 -0700 patch location cleaner commit 6cae3b5ad67e38f6decfa18eeacce973783a2fc1 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:49:28 2023 -0700 patch location cleaner commit e86e6a11189ed57f122382c901fe7a0f49518e83 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:40:11 2023 -0700 color mode continuity commit c3ba4ee6c614fa637a34eacbae60c5e88cd018c5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 15:32:11 2023 -0700 refactor layout commit ac3bae8f34ccbd08f68cb784b3ec00bad70a9281 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 14:35:00 2023 -0700 color and styling updates commit 42e301818d3d11152c5ce630c8085db1c1664a13 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 13:23:03 2023 -0700 highlight active nav link commit fb72573c01494486ab9b0942c3f67c372af0d5e6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:34:25 2023 -0700 patch mobile menu bottom scroll stop commit 2dcef754301d35143ea24ca197906c974e128a25 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:32:38 2023 -0700 adjust header icon sizes commit dc75b636b7f442dfe7aaa80ad82470be0f3d4f19 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 21:41:18 2023 -0700 fix header icon sizes commit de70f1a56eba85c89c1f01f37770b1d6bd91d5db Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 19:58:18 2023 -0700 mobile meun debugging commit 1fe20565a838c2f2212cd95045cd309b076c8b2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 13:21:23 2023 -0700 icon color mode improvements commit fcb134a4209371277693e919fb06eaeb53e36cb6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:51:24 2023 -0700 initialize with menu closed commit defa7c78e981037409ec9d2b9ab871910023f5b0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:37:47 2023 -0700 color toggle and mobile menu commit 695d719612be0ed9cac0f246f0eaf91f3fdb2e75 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:39:32 2023 -0700 forum url as external link commit ad182602095909d84331339993b31f2a37bf1cd7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:28:14 2023 -0700 patch contributing path commit fbfeaa7a12a1b9bc86b766a0e490b85d2ded8849 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:20:57 2023 -0700 update contribute path commit f7dbf1f2e0a3e31d164d6cc67c952f89c3f8f49e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:05:22 2023 -0700 dev: point to vercel build for new solidity site commit c344c1df86e78ad6ab9bc066ac75659180d068cf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 14:30:40 2023 -0700 update stylesheets, constants, logos commit c15135378c8568ed93bf685552940cdbe1c07b70 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 10:25:05 2023 -0700 bg color cleanup commit c049df77d9d55adc796bc2f8cd7c186d833aca69 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 19:02:49 2023 -0700 clean up initialize and toggle scripts deprecate dark.css in lieu of a dark more html attribute indicator and css selectors for this attribute. Avoids needing to enable/disable dark stylesheet commit 881c9cce66e18d30b50c467a22d98836698f5b58 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 18:59:24 2023 -0700 import type faces commit e9b26157aabf4374754cf14d9a4a980c92bd139c Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 15:39:00 2023 -0700 implement initial styling adjustments
2023-07-14 18:31:06 +00:00
html_js_files = ["js/constants.js", "js/initialize.js", "js/toggle.js"]
2020-04-20 16:23:45 +00:00
2015-12-07 20:16:25 +00:00
# Add any extra paths that contain custom files (such as robots.txt or
# .htaccess) here, relative to this directory. These files are copied
# directly to the root of the documentation.
Squashed commit of the following: (#14401) commit 6f38009a31b2ff5d6f53de7b74469f495fe04092 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:36:03 2023 -0700 remove default sphinx footer commit 0d842749566f40fa8c2dd434fa67bcc5e9df3aa0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:21:26 2023 -0700 linting commit c8484ac7c1f54067b0d3c4aa4aa81de7d36df71d Merge: 8339800d0 b583e9e64 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:15:03 2023 -0700 Merge branch 'develop' into docs-rebrand commit 8339800d0fdd197f589337e1198867d4198a3850 Merge: 633c673c5 88d5e06d4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:58 2023 -0700 Merge branch 'rebrand' into docs-rebrand commit 88d5e06d4ce79696b9451991b33834ecc55bf66d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:52 2023 -0700 remove dev code commit 633c673c5e227009917d888e1f0991f33aa75f44 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:02:25 2023 -0700 update home url poitner to production domain commit b3689cb7c230e1fb3a97400e5412ec14c34fc586 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:34 2023 -0700 fix external link arrow to match core site commit b7a28a5dfe7517a88870afe67783e9e300b85af4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:19 2023 -0700 swap in cdnfonts for overpass fonts commit e979ad5c9f69c9c7ee369a0700a64ea6d9061c2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 08:30:48 2023 -0700 fix external link arrow spacing/underline commit b90077863cfff5d8776f5dc74f82f061e0162d37 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 16:26:28 2023 -0700 update foot note commit ed9ddfd327cd0e382286abf0c8896c7c879512b2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 13:12:14 2023 -0700 update nav link hover color commit 077d3a0c9333c96cbabc3ce2bccf00afac19a312 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 20:27:05 2023 -0700 bug fixed for header/nav-link styling commit 2584dd2e419255ec93430446bd049ff90155987e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:15:09 2023 -0700 fix link shift bug commit 885d2bc52ca3ed9e4727d7f0eaed0e312fedaaaa Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:13:03 2023 -0700 update nav link hover styling commit d06c81592ad88ad2e81701cec9e85b6a3cee86ee Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:25:37 2023 -0700 extract event listener functions commit 414e444ee67fe937d1295b14ac8591a710bfbdff Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:22:08 2023 -0700 a11y: skip to content link commit 6c628ea73995dad9b9a6fb502bb216d88f0e9602 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:57:24 2023 -0700 fine-tuning more styling commit 71b617abaf27c34fcecaf6e30795687abf9885f7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:37:02 2023 -0700 fix primary link color commit d90627418c605bff4398a9e24ae0c5c685f73992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:30 2023 -0700 fix mobile versions expansion commit f0f0fbbcb74ea35efa6e4cf87ab1d855f1ae2bd2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:16 2023 -0700 update code styling commit 727c7ee9b69427eddd73012a89e6ee9ae1ccec8d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:20:38 2023 -0700 remix link styling commit 4059c00e3d704002ef34f85fd86495f2a4ac9e57 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:19:49 2023 -0700 fix whitespace styling commit 631e2910a53484b97770cad1b3439d412a0ab6d0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 20:33:54 2023 -0700 fix search input styling commit 5e06b22a7200b0774bd135c666b4e3437d342350 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:37:19 2023 -0700 css adjustments commit 637d5122038fd6075cd53d57537d728b730acbcf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:15:05 2023 -0700 selector adjustments, linting commit 781dc7c3009dc406b36cd2bdcb2d02c3c34fafa6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:26:09 2023 -0700 top version/search layout adjustments commit 7341e17003700133659e5f64ee2d1369ac50e434 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:18:21 2023 -0700 update version div styling commit 3a4b3feb581b1799e48d395b73aca05760dc5658 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 21:18:12 2023 -0700 restyle external link arrow for forum link commit e6cef6312ca73c125c01b78573f21c75fcbbfc87 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 20:50:31 2023 -0700 add woff2 fonts, use absolute font urls commit 3bc401b1dbe971501826011a692c38ee9ce4b992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 15:15:26 2023 -0700 fix nav button alignment commit b7d607b7090e1ac6ded55ac6e534549609226236 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 19:02:24 2023 -0700 rename pcm param to color commit d67e23539f720250bb298c11fd2b1b6d7dbb0815 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 17:34:56 2023 -0700 center align footer buttons, fix bug on pre text commit 34a665038dc27e2b8874b3e16ffc581c33f31bc5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 16:40:26 2023 -0700 preload fonts commit 5b987c31455ffe02135e357ea560bbad8a9c6745 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 15:31:41 2023 -0700 antialiased font smoothing commit 9585fb5bb73f67e37a4f9f1da83e7b133f0b4446 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:44:51 2023 -0700 search results styling commit 224ed028b181b3944d2f2e33f4122b15f38f7608 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:29:09 2023 -0700 restore search functionality commit ec5782a01cd0f1c1808b353560c39911c9fdc645 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 21:55:11 2023 -0700 more mobile menu and styling fixes commit c033f05e2ab839309e7d3864ae66c465d801e806 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 13:14:22 2023 -0700 patch location cleaner commit 6cae3b5ad67e38f6decfa18eeacce973783a2fc1 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:49:28 2023 -0700 patch location cleaner commit e86e6a11189ed57f122382c901fe7a0f49518e83 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:40:11 2023 -0700 color mode continuity commit c3ba4ee6c614fa637a34eacbae60c5e88cd018c5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 15:32:11 2023 -0700 refactor layout commit ac3bae8f34ccbd08f68cb784b3ec00bad70a9281 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 14:35:00 2023 -0700 color and styling updates commit 42e301818d3d11152c5ce630c8085db1c1664a13 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 13:23:03 2023 -0700 highlight active nav link commit fb72573c01494486ab9b0942c3f67c372af0d5e6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:34:25 2023 -0700 patch mobile menu bottom scroll stop commit 2dcef754301d35143ea24ca197906c974e128a25 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:32:38 2023 -0700 adjust header icon sizes commit dc75b636b7f442dfe7aaa80ad82470be0f3d4f19 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 21:41:18 2023 -0700 fix header icon sizes commit de70f1a56eba85c89c1f01f37770b1d6bd91d5db Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 19:58:18 2023 -0700 mobile meun debugging commit 1fe20565a838c2f2212cd95045cd309b076c8b2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 13:21:23 2023 -0700 icon color mode improvements commit fcb134a4209371277693e919fb06eaeb53e36cb6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:51:24 2023 -0700 initialize with menu closed commit defa7c78e981037409ec9d2b9ab871910023f5b0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:37:47 2023 -0700 color toggle and mobile menu commit 695d719612be0ed9cac0f246f0eaf91f3fdb2e75 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:39:32 2023 -0700 forum url as external link commit ad182602095909d84331339993b31f2a37bf1cd7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:28:14 2023 -0700 patch contributing path commit fbfeaa7a12a1b9bc86b766a0e490b85d2ded8849 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:20:57 2023 -0700 update contribute path commit f7dbf1f2e0a3e31d164d6cc67c952f89c3f8f49e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:05:22 2023 -0700 dev: point to vercel build for new solidity site commit c344c1df86e78ad6ab9bc066ac75659180d068cf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 14:30:40 2023 -0700 update stylesheets, constants, logos commit c15135378c8568ed93bf685552940cdbe1c07b70 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 10:25:05 2023 -0700 bg color cleanup commit c049df77d9d55adc796bc2f8cd7c186d833aca69 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 19:02:49 2023 -0700 clean up initialize and toggle scripts deprecate dark.css in lieu of a dark more html attribute indicator and css selectors for this attribute. Avoids needing to enable/disable dark stylesheet commit 881c9cce66e18d30b50c467a22d98836698f5b58 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 18:59:24 2023 -0700 import type faces commit e9b26157aabf4374754cf14d9a4a980c92bd139c Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 15:39:00 2023 -0700 implement initial styling adjustments
2023-07-14 18:31:06 +00:00
html_extra_path = ["_static/css", "_static/fonts"]
2015-12-07 20:16:25 +00:00
# List of templates of static files to be included in the HTML output.
# Keys represent paths to input files and values are dicts containing:
# - target: The path where the rendered template should be placed.
# - context: A dictionary listing variables that can be used inside the template.
# All paths must be absolute.
# Rendered templates are automatically added to html_extra_path setting.
html_extra_templates = {
os.path.join(ROOT_PATH, "robots.txt.template"): {
'target': os.path.join(ROOT_PATH, "_static/robots.txt"),
'context': {'LATEST_VERSION': version},
}
}
2015-12-07 20:16:25 +00:00
# If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
# using the given strftime format.
#html_last_updated_fmt = '%b %d, %Y'
# If true, SmartyPants will be used to convert quotes and dashes to
# typographically correct entities.
#html_use_smartypants = True
# Custom sidebar templates, maps document names to template names.
#html_sidebars = {}
# Additional templates that should be rendered to pages, maps page names to
# template names.
#html_additional_pages = {}
# If false, no module index is generated.
#html_domain_indices = True
# If false, no index is generated.
#html_use_index = True
# If true, the index is split into individual pages for each letter.
#html_split_index = False
# If true, links to the reST sources are added to the pages.
#html_show_sourcelink = True
# If true, "Created using Sphinx" is shown in the HTML footer. Default is True.
Squashed commit of the following: (#14401) commit 6f38009a31b2ff5d6f53de7b74469f495fe04092 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:36:03 2023 -0700 remove default sphinx footer commit 0d842749566f40fa8c2dd434fa67bcc5e9df3aa0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 15:21:26 2023 -0700 linting commit c8484ac7c1f54067b0d3c4aa4aa81de7d36df71d Merge: 8339800d0 b583e9e64 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:15:03 2023 -0700 Merge branch 'develop' into docs-rebrand commit 8339800d0fdd197f589337e1198867d4198a3850 Merge: 633c673c5 88d5e06d4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:58 2023 -0700 Merge branch 'rebrand' into docs-rebrand commit 88d5e06d4ce79696b9451991b33834ecc55bf66d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:11:52 2023 -0700 remove dev code commit 633c673c5e227009917d888e1f0991f33aa75f44 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 14:02:25 2023 -0700 update home url poitner to production domain commit b3689cb7c230e1fb3a97400e5412ec14c34fc586 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:34 2023 -0700 fix external link arrow to match core site commit b7a28a5dfe7517a88870afe67783e9e300b85af4 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 13:59:19 2023 -0700 swap in cdnfonts for overpass fonts commit e979ad5c9f69c9c7ee369a0700a64ea6d9061c2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 10 08:30:48 2023 -0700 fix external link arrow spacing/underline commit b90077863cfff5d8776f5dc74f82f061e0162d37 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 16:26:28 2023 -0700 update foot note commit ed9ddfd327cd0e382286abf0c8896c7c879512b2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jul 6 13:12:14 2023 -0700 update nav link hover color commit 077d3a0c9333c96cbabc3ce2bccf00afac19a312 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 20:27:05 2023 -0700 bug fixed for header/nav-link styling commit 2584dd2e419255ec93430446bd049ff90155987e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:15:09 2023 -0700 fix link shift bug commit 885d2bc52ca3ed9e4727d7f0eaed0e312fedaaaa Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jul 4 12:13:03 2023 -0700 update nav link hover styling commit d06c81592ad88ad2e81701cec9e85b6a3cee86ee Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:25:37 2023 -0700 extract event listener functions commit 414e444ee67fe937d1295b14ac8591a710bfbdff Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jul 3 18:22:08 2023 -0700 a11y: skip to content link commit 6c628ea73995dad9b9a6fb502bb216d88f0e9602 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:57:24 2023 -0700 fine-tuning more styling commit 71b617abaf27c34fcecaf6e30795687abf9885f7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:37:02 2023 -0700 fix primary link color commit d90627418c605bff4398a9e24ae0c5c685f73992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:30 2023 -0700 fix mobile versions expansion commit f0f0fbbcb74ea35efa6e4cf87ab1d855f1ae2bd2 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:21:16 2023 -0700 update code styling commit 727c7ee9b69427eddd73012a89e6ee9ae1ccec8d Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:20:38 2023 -0700 remix link styling commit 4059c00e3d704002ef34f85fd86495f2a4ac9e57 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 21:19:49 2023 -0700 fix whitespace styling commit 631e2910a53484b97770cad1b3439d412a0ab6d0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 20:33:54 2023 -0700 fix search input styling commit 5e06b22a7200b0774bd135c666b4e3437d342350 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:37:19 2023 -0700 css adjustments commit 637d5122038fd6075cd53d57537d728b730acbcf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 19:15:05 2023 -0700 selector adjustments, linting commit 781dc7c3009dc406b36cd2bdcb2d02c3c34fafa6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:26:09 2023 -0700 top version/search layout adjustments commit 7341e17003700133659e5f64ee2d1369ac50e434 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jul 2 18:18:21 2023 -0700 update version div styling commit 3a4b3feb581b1799e48d395b73aca05760dc5658 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 21:18:12 2023 -0700 restyle external link arrow for forum link commit e6cef6312ca73c125c01b78573f21c75fcbbfc87 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 20:50:31 2023 -0700 add woff2 fonts, use absolute font urls commit 3bc401b1dbe971501826011a692c38ee9ce4b992 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jul 1 15:15:26 2023 -0700 fix nav button alignment commit b7d607b7090e1ac6ded55ac6e534549609226236 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 19:02:24 2023 -0700 rename pcm param to color commit d67e23539f720250bb298c11fd2b1b6d7dbb0815 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 30 17:34:56 2023 -0700 center align footer buttons, fix bug on pre text commit 34a665038dc27e2b8874b3e16ffc581c33f31bc5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 16:40:26 2023 -0700 preload fonts commit 5b987c31455ffe02135e357ea560bbad8a9c6745 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 15:31:41 2023 -0700 antialiased font smoothing commit 9585fb5bb73f67e37a4f9f1da83e7b133f0b4446 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:44:51 2023 -0700 search results styling commit 224ed028b181b3944d2f2e33f4122b15f38f7608 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 29 13:29:09 2023 -0700 restore search functionality commit ec5782a01cd0f1c1808b353560c39911c9fdc645 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 21:55:11 2023 -0700 more mobile menu and styling fixes commit c033f05e2ab839309e7d3864ae66c465d801e806 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Wed Jun 28 13:14:22 2023 -0700 patch location cleaner commit 6cae3b5ad67e38f6decfa18eeacce973783a2fc1 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:49:28 2023 -0700 patch location cleaner commit e86e6a11189ed57f122382c901fe7a0f49518e83 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 17:40:11 2023 -0700 color mode continuity commit c3ba4ee6c614fa637a34eacbae60c5e88cd018c5 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Tue Jun 27 15:32:11 2023 -0700 refactor layout commit ac3bae8f34ccbd08f68cb784b3ec00bad70a9281 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 14:35:00 2023 -0700 color and styling updates commit 42e301818d3d11152c5ce630c8085db1c1664a13 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 13:23:03 2023 -0700 highlight active nav link commit fb72573c01494486ab9b0942c3f67c372af0d5e6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:34:25 2023 -0700 patch mobile menu bottom scroll stop commit 2dcef754301d35143ea24ca197906c974e128a25 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Mon Jun 26 12:32:38 2023 -0700 adjust header icon sizes commit dc75b636b7f442dfe7aaa80ad82470be0f3d4f19 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 21:41:18 2023 -0700 fix header icon sizes commit de70f1a56eba85c89c1f01f37770b1d6bd91d5db Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sun Jun 25 19:58:18 2023 -0700 mobile meun debugging commit 1fe20565a838c2f2212cd95045cd309b076c8b2b Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 13:21:23 2023 -0700 icon color mode improvements commit fcb134a4209371277693e919fb06eaeb53e36cb6 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:51:24 2023 -0700 initialize with menu closed commit defa7c78e981037409ec9d2b9ab871910023f5b0 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Sat Jun 24 11:37:47 2023 -0700 color toggle and mobile menu commit 695d719612be0ed9cac0f246f0eaf91f3fdb2e75 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:39:32 2023 -0700 forum url as external link commit ad182602095909d84331339993b31f2a37bf1cd7 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:28:14 2023 -0700 patch contributing path commit fbfeaa7a12a1b9bc86b766a0e490b85d2ded8849 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:20:57 2023 -0700 update contribute path commit f7dbf1f2e0a3e31d164d6cc67c952f89c3f8f49e Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 16:05:22 2023 -0700 dev: point to vercel build for new solidity site commit c344c1df86e78ad6ab9bc066ac75659180d068cf Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 14:30:40 2023 -0700 update stylesheets, constants, logos commit c15135378c8568ed93bf685552940cdbe1c07b70 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Fri Jun 23 10:25:05 2023 -0700 bg color cleanup commit c049df77d9d55adc796bc2f8cd7c186d833aca69 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 19:02:49 2023 -0700 clean up initialize and toggle scripts deprecate dark.css in lieu of a dark more html attribute indicator and css selectors for this attribute. Avoids needing to enable/disable dark stylesheet commit 881c9cce66e18d30b50c467a22d98836698f5b58 Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 18:59:24 2023 -0700 import type faces commit e9b26157aabf4374754cf14d9a4a980c92bd139c Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com> Date: Thu Jun 22 15:39:00 2023 -0700 implement initial styling adjustments
2023-07-14 18:31:06 +00:00
html_show_sphinx = False
2015-12-07 20:16:25 +00:00
# If true, "(C) Copyright ..." is shown in the HTML footer. Default is True.
#html_show_copyright = True
# If true, an OpenSearch description file will be output, and all pages will
# contain a <link> tag referring to it. The value of this option must be the
# base URL from which the finished HTML is served.
#html_use_opensearch = ''
# This is the file name suffix for HTML files (e.g. ".xhtml").
#html_file_suffix = None
# Output file base name for HTML help builder.
htmlhelp_basename = 'Soliditydoc'
# -- Options for LaTeX output ---------------------------------------------
latex_elements = {
# The paper size ('letterpaper' or 'a4paper').
#'papersize': 'letterpaper',
# The font size ('10pt', '11pt' or '12pt').
#'pointsize': '10pt',
# Additional stuff for the LaTeX preamble.
#'preamble': '',
}
# Grouping the document tree into LaTeX files. List of tuples
# (source start file, target name, title,
# author, documentclass [howto, manual, or own class]).
latex_documents = [
('index', 'solidity.tex', 'Solidity Documentation', 'Ethereum', 'manual'),
2015-12-07 20:16:25 +00:00
]
# The name of an image file (relative to this directory) to place at the top of
# the title page.
#latex_logo = None
# For "manual" documents, if this is true, then toplevel headings are parts,
# not chapters.
#latex_use_parts = False
# If true, show page references after internal links.
#latex_show_pagerefs = False
# If true, show URL addresses after external links.
#latex_show_urls = False
# Documents to append as an appendix to all manuals.
#latex_appendices = []
# If false, no module index is generated.
#latex_domain_indices = True
# -- Options for manual page output ---------------------------------------
# One entry per manual page. List of tuples
# (source start file, name, description, authors, manual section).
man_pages = [
]
# If true, show URL addresses after external links.
#man_show_urls = False
# -- Options for Texinfo output -------------------------------------------
# Grouping the document tree into Texinfo files. List of tuples
# (source start file, target name, title, author,
# dir menu entry, description, category)
texinfo_documents = [
]
# Documents to append as an appendix to all manuals.
#texinfo_appendices = []
# If false, no module index is generated.
#texinfo_domain_indices = True
# How to display URL addresses: 'footnote', 'no', or 'inline'.
#texinfo_show_urls = 'footnote'
# If true, do not generate a @detailmenu in the "Top" node's menu.
#texinfo_no_detailmenu = False