diff options
-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 --------------------------------------------------- |