diff options
Diffstat (limited to 'doc-tool/resources/css/api-page.css')
-rw-r--r-- | doc-tool/resources/css/api-page.css | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc-tool/resources/css/api-page.css b/doc-tool/resources/css/api-page.css index 9bcea9a27..a64317545 100644 --- a/doc-tool/resources/css/api-page.css +++ b/doc-tool/resources/css/api-page.css @@ -14,11 +14,31 @@ div#entity-title { font-size: 2.5rem; } +div#entity-title > span#entity-annotations, div#entity-title > span#entity-modifiers, div#entity-title > span#entity-kind { font-weight: 100; } +div#entity-title > div#super-types > span.keyword { + font-weight: 100; +} + +div#entity-title > div#super-types > span.keyword, +div#entity-title > div#super-types > span.entity-super-type { + font-size: 25px; +} + +div#entity-title > div#super-types> span.entity-super-type > a, +div#entity-title > div#super-types> span.entity-super-type > a:focus { + text-decoration: none; + color: #34495e; +} + +div#entity-title > div#super-types> span.entity-super-type > a:hover { + text-decoration: underline; +} + div#entity-title span.no-left { margin-left: -9px; } |