diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-16 20:29:25 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:32:37 +0100 |
commit | 9a581bc15aa300f665428c804611453609955f60 (patch) | |
tree | 122c3ae291a6d277e02a4545852a798deecf7181 /doc-tool/resources | |
parent | 72720f0780e95b6b341f46679d20b56fcef8b85a (diff) | |
download | dotty-9a581bc15aa300f665428c804611453609955f60.tar.gz dotty-9a581bc15aa300f665428c804611453609955f60.tar.bz2 dotty-9a581bc15aa300f665428c804611453609955f60.zip |
Improve member lookup
Diffstat (limited to 'doc-tool/resources')
-rw-r--r-- | doc-tool/resources/_layouts/api-page.html | 2 | ||||
-rw-r--r-- | doc-tool/resources/css/api-page.css | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/doc-tool/resources/_layouts/api-page.html b/doc-tool/resources/_layouts/api-page.html index ed65c0651..a3d9008e3 100644 --- a/doc-tool/resources/_layouts/api-page.html +++ b/doc-tool/resources/_layouts/api-page.html @@ -38,7 +38,7 @@ extraCSS: <span class="member-kind"> {{ member.kind }} </span> - <span class="member-name"> + <span class="member-name {% if member.isImplicitlyAddedFrom != null %}implicitly-added{% endif %}"> {{ member.name }} </span> diff --git a/doc-tool/resources/css/api-page.css b/doc-tool/resources/css/api-page.css index 743596813..9b18b6f6a 100644 --- a/doc-tool/resources/css/api-page.css +++ b/doc-tool/resources/css/api-page.css @@ -55,6 +55,10 @@ div#entity-members > div.member > div.member-title > span.member-name { font-weight: 600; } +div#entity-members > div.member > div.member-title > span.member-name.implicitly-added { + color: #019875; +} + div#entity-members > div.member > div.member-title span.keyword { font-weight: 600; margin-right: 11px; |