projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
943d240
)
api docs: Fix and tweak style for home and top links. (#6618)
author
Aina Niemetz
<aina.niemetz@gmail.com>
Tue, 25 May 2021 21:05:40 +0000
(14:05 -0700)
committer
GitHub
<noreply@github.com>
Tue, 25 May 2021 21:05:40 +0000
(14:05 -0700)
docs/_static/custom.css
patch
|
blob
|
history
diff --git
a/docs/_static/custom.css
b/docs/_static/custom.css
index 81ecdc9369326630ed78af29a4ec12ed046f133b..032efba5675c1e8495ca9058a0f8d0f0c0bb2518 100644
(file)
--- a/
docs/_static/custom.css
+++ b/
docs/_static/custom.css
@@
-32,7
+32,19
@@
a:hover, a:focus {
}
.wy-side-nav-search > a {
- color: #fcfffa;
+ color: #ace600;
+}
+
+.wy-side-nav-search > a:hover, > a:focus, > a:visited {
+ color: #ace600;
+}
+
+.wy-breadcrumbs a {
+ color: #739900;
+}
+
+.wy-breadcrumbs a:hover, a:focus {
+ color: #0099e6;
}
.wy-side-nav-search input[type="text"] {
@@
-56,10
+68,10
@@
a:hover, a:focus {
}
.wy-nav-top {
- color: #
fcfffa
;
+ color: #
ace600
;
background-color: #0099e6;
}
.wy-nav-top a {
- color: #
fcfffa
;
+ color: #
ace600
;
}