diff options
| -rw-r--r-- | doc/_static/coverage.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/_static/coverage.css b/doc/_static/coverage.css index 900ee06e..7a67a007 100644 --- a/doc/_static/coverage.css +++ b/doc/_static/coverage.css @@ -6,6 +6,10 @@ h1, h2, h3, h4, h5, h6 { font-family: Helvetica; } +a:hover { + text-decoration: underline; +} + img.tideliftlogo { border: 1px solid #888; margin-top: .5em !important; |