projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f71d55a
)
docs: Use light gray for background on the right. (#7438)
author
Aina Niemetz
<aina.niemetz@gmail.com>
Thu, 21 Oct 2021 21:37:05 +0000
(14:37 -0700)
committer
GitHub
<noreply@github.com>
Thu, 21 Oct 2021 21:37:05 +0000
(21:37 +0000)
docs/_static/custom.css
patch
|
blob
|
history
diff --git
a/docs/_static/custom.css
b/docs/_static/custom.css
index 6934d70172215f125023f7e6b05f826cbcf91067..9039d15a12ebcc2c7f469daf2ad56752dc0b069f 100644
(file)
--- a/
docs/_static/custom.css
+++ b/
docs/_static/custom.css
@@
-31,10
+31,6
@@
code.xref {
border-color: #0077b3;
}
-.wy-body-for-nav {
- background: #343131;
-}
-
.wy-menu-vertical a {
color: #4dc3ff;
}