diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-12 14:40:51 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:07 +0100 |
commit | 3e16bfd9c32d965820121abc0083e8db94537821 (patch) | |
tree | e8a1c6f4208fb71aba521cb945d0c0a02ce262f7 /doc-tool/resources/css/dottydoc.css | |
parent | 3cee0b5e38f05bd70bec9d2bb392acdbd4fe8052 (diff) | |
download | dotty-3e16bfd9c32d965820121abc0083e8db94537821.tar.gz dotty-3e16bfd9c32d965820121abc0083e8db94537821.tar.bz2 dotty-3e16bfd9c32d965820121abc0083e8db94537821.zip |
Add scala-logo svg
Diffstat (limited to 'doc-tool/resources/css/dottydoc.css')
-rw-r--r-- | doc-tool/resources/css/dottydoc.css | 27 |
1 files changed, 22 insertions, 5 deletions
diff --git a/doc-tool/resources/css/dottydoc.css b/doc-tool/resources/css/dottydoc.css index 2dd9bf618..a40ee6a4d 100644 --- a/doc-tool/resources/css/dottydoc.css +++ b/doc-tool/resources/css/dottydoc.css @@ -56,18 +56,33 @@ ul.toc { padding-left: 0; } +ul.toc > li.toc-title > a { + font-size: 16px; + font-weight: bold; +} + +ul.toc > li > a#home-button, +ul.toc > li > a#home-button:hover { + text-align: center; + background: transparent; +} + +ul.toc > li > a#home-button svg path { + fill: #423e3e; +} + ul.toc > li, -ul.index-entities > li.index-entity { +ul.index-entities > li { line-height: 40px; } li.index-entity.entity-package > a { color: #ff4081; - text-decoration: underline; + text-decoration: none; } ul.toc > li > a, -li.index-entity > a { +ul.index-entities > li > a { font-size: 13px; display: block; padding: 0 24px; @@ -86,15 +101,17 @@ ul.toc > li > ul.hide { display: none; } -li.index-entity > a.title { - font-size: 17px; +ul.index-entities > li.index-title > a { + font-size: 16px; font-weight: bold; + color: rgba(0,0,0,.87) } li.index-entity > a:focus { text-decoration: none; } +ul.index-entities > li > a:hover, ul.toc > li > a:hover { text-decoration: none; background-color: rgba(0, 0, 0, 0.2); |