diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-23 16:04:20 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:32:40 +0100 |
commit | 7b2c84b51850a4e64107a99f9780d0ee578a1c4a (patch) | |
tree | 319475329afbef6a27b8a364a3477ad60192cc93 /doc-tool/resources/css/dottydoc.css | |
parent | c3b463a04141e67ee8559c8b422c0229a1a6351b (diff) | |
download | dotty-7b2c84b51850a4e64107a99f9780d0ee578a1c4a.tar.gz dotty-7b2c84b51850a4e64107a99f9780d0ee578a1c4a.tar.bz2 dotty-7b2c84b51850a4e64107a99f9780d0ee578a1c4a.zip |
Generalize table of contents for dottydoc
Diffstat (limited to 'doc-tool/resources/css/dottydoc.css')
-rw-r--r-- | doc-tool/resources/css/dottydoc.css | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/doc-tool/resources/css/dottydoc.css b/doc-tool/resources/css/dottydoc.css index bb0d6506b..aa197de07 100644 --- a/doc-tool/resources/css/dottydoc.css +++ b/doc-tool/resources/css/dottydoc.css @@ -85,7 +85,7 @@ ul.toc > li > a#home-button svg g#logo-background { fill: rgba(202, 68, 94, 0.45); } -ul.toc > li > a.toggle-children { +ul.toc > li > a { width: 100%; user-select: none; } @@ -182,13 +182,16 @@ ul.index-entities > li.index-title > span { padding: 0 24px; } +ul.index-entities > li.index-title:hover { + background-color: transparent; +} + li.index-entity > a:focus { text-decoration: none; } ul.index-entities > li:hover, -ul.toc > li.toc-title:hover, -ul.toc > li > a.toggle-children:hover { +ul.toc > li > a:hover { background-color: rgba(0, 0, 0, 0.2); } |