projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6372cf) | patch
api docs: Tweak and fix style. (#6582)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 21 May 2021 10:19:10 +0000 (03:19 -0700)
committerGitHub <noreply@github.com>
Fri, 21 May 2021 10:19:10 +0000 (10:19 +0000)
commit23b990946473910eb8c781d555a4600efeb05b4b
tree85e059ebfc50e10c43f2088578642e7e2b81f956tree
parentd6372cf53c77d205f796d40603f36228844b6de6commit | diff
api docs: Tweak and fix style. (#6582)

This fixes the style for narrow layouts. It further fixes and improves
the style for the menu.
docs/_static/custom.css diff | blob | history