diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-03 16:12:56 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-02-03 17:21:05 +0100 |
| commit | cf068d4f89784f00be7595c4d38ec0cac1f611d0 (patch) | |
| tree | cc6c08e849dccbe8212a030fad5b148dc464e614 /doc-tool/resources/css | |
| parent | eff150f8af6b085382ff1cfb675bc7b6914f51b3 (diff) | |
| download | dotty-cf068d4f89784f00be7595c4d38ec0cac1f611d0.tar.gz dotty-cf068d4f89784f00be7595c4d38ec0cac1f611d0.tar.bz2 dotty-cf068d4f89784f00be7595c4d38ec0cac1f611d0.zip | |
Add supertypes and annotations to entity title
Diffstat (limited to 'doc-tool/resources/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; } |