diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-05-21 08:57:47 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-21 08:57:47 -0700 |
commit | 244792495dc15746617854c9a3b007bda1ad73f5 (patch) | |
tree | be677fe7153c13cb36fac6d376ba24a78eeda763 | |
parent | 839f71ec5496d6fdfee5a7ad0e96e282cbcd0311 (diff) | |
parent | 23b990946473910eb8c781d555a4600efeb05b4b (diff) |
Merge branch 'master' into braced-init-listbraced-init-list
-rw-r--r-- | docs/_static/custom.css | 33 | ||||
-rw-r--r-- | docs/conf.py.in | 4 |
2 files changed, 25 insertions, 12 deletions
diff --git a/docs/_static/custom.css b/docs/_static/custom.css index f657196ed..81ecdc936 100644 --- a/docs/_static/custom.css +++ b/docs/_static/custom.css @@ -1,13 +1,5 @@ .wy-nav-content { - background: #f9fffa; -} - -.wy-menu-vertical a { - color: #f9fffa; -} - -.wy-menu-vertical a:hover, a:focus { - color: #0099e6; + background: #fcfffa; } code { @@ -40,7 +32,7 @@ a:hover, a:focus { } .wy-side-nav-search > a { - color: #f9fffa; + color: #fcfffa; } .wy-side-nav-search input[type="text"] { @@ -50,3 +42,24 @@ a:hover, a:focus { .wy-body-for-nav { background: #343131; } + +.wy-menu-vertical a { + color: #4dc3ff; +} + +.wy-menu-vertical a:visited { + color: #4dc3ff; +} + +.wy-menu-vertical a:hover, a:focus { + color: #ace600; +} + +.wy-nav-top { + color: #fcfffa; + background-color: #0099e6; +} + +.wy-nav-top a { + color: #fcfffa; +} diff --git a/docs/conf.py.in b/docs/conf.py.in index 07a4d8a76..9dc5255bd 100644 --- a/docs/conf.py.in +++ b/docs/conf.py.in @@ -27,8 +27,8 @@ if("${BUILD_BINDINGS_JAVA}" == "ON"): # -- Project information ----------------------------------------------------- project = 'cvc5' -copyright = '2021, The Authors of cvc5' -author = 'The Authors of cvc5' +copyright = '2021, the authors of cvc5' +author = 'The authors of cvc5' # -- General configuration --------------------------------------------------- |