diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-12 18:37:49 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:07 +0100 |
| commit | be9c3799aad4c5712f85948e0e4c29321bdcb9a4 (patch) | |
| tree | 4e9d78f0e50d6c1af0ff478d08ba47d0d53c6f1e /doc-tool/resources/css/dottydoc.css | |
| parent | 3e16bfd9c32d965820121abc0083e8db94537821 (diff) | |
| download | dotty-be9c3799aad4c5712f85948e0e4c29321bdcb9a4.tar.gz dotty-be9c3799aad4c5712f85948e0e4c29321bdcb9a4.tar.bz2 dotty-be9c3799aad4c5712f85948e0e4c29321bdcb9a4.zip | |
Add basic API generation from templates
Diffstat (limited to 'doc-tool/resources/css/dottydoc.css')
| -rw-r--r-- | doc-tool/resources/css/dottydoc.css | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc-tool/resources/css/dottydoc.css b/doc-tool/resources/css/dottydoc.css index a40ee6a4d..754d3b3f7 100644 --- a/doc-tool/resources/css/dottydoc.css +++ b/doc-tool/resources/css/dottydoc.css @@ -59,6 +59,7 @@ ul.toc { ul.toc > li.toc-title > a { font-size: 16px; font-weight: bold; + margin-top: 1rem; } ul.toc > li > a#home-button, @@ -101,10 +102,11 @@ ul.toc > li > ul.hide { display: none; } -ul.index-entities > li.index-title > a { +ul.index-entities > li.index-title > span { font-size: 16px; font-weight: bold; - color: rgba(0,0,0,.87) + color: rgba(0,0,0,.87); + padding: 0 24px; } li.index-entity > a:focus { |