diff options
Diffstat (limited to 'doc-tool/resources/css/api-page.css')
-rw-r--r-- | doc-tool/resources/css/api-page.css | 4 |
1 files changed, 4 insertions, 0 deletions
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; |