diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-17 14:36:58 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:32:38 +0100 |
commit | e77fe63f98099caca481f74f3613c5814fff3020 (patch) | |
tree | eaa0aa56a4187dd34e9caadd90d4e3c83cbd45d0 /doc-tool/resources | |
parent | 8f85e18db4ba2be95f39ff080e988e430222d310 (diff) | |
download | dotty-e77fe63f98099caca481f74f3613c5814fff3020.tar.gz dotty-e77fe63f98099caca481f74f3613c5814fff3020.tar.bz2 dotty-e77fe63f98099caca481f74f3613c5814fff3020.zip |
Implement remainder of type members
Diffstat (limited to 'doc-tool/resources')
-rw-r--r-- | doc-tool/resources/_layouts/api-page.html | 11 | ||||
-rw-r--r-- | doc-tool/resources/css/api-page.css | 4 | ||||
-rw-r--r-- | doc-tool/resources/css/dottydoc.css | 4 |
3 files changed, 15 insertions, 4 deletions
diff --git a/doc-tool/resources/_layouts/api-page.html b/doc-tool/resources/_layouts/api-page.html index b1140f35e..1835a5403 100644 --- a/doc-tool/resources/_layouts/api-page.html +++ b/doc-tool/resources/_layouts/api-page.html @@ -27,9 +27,9 @@ extraCSS: </div> {% endif %} - <h1 class="section">Members</h1> + <h1 class="section {% if entity.hasVisibleMembers == false %}empty{% endif %}">Members</h1> - <div id="entity-members" class="entity-section"> + <div id="entity-members" class="entity-section {% if entity.hasVisibleMembers == false %}empty{% endif %}"> {% for member in entity.members %} <div class="member {% if member.isPrivate %}private{% elsif member.isProtected %}protected{% endif %}"> <div class="member-title"> @@ -65,6 +65,13 @@ extraCSS: {% endfor %} {% endif %} + {% if member.kind == "type" and member.alias != null %} + <span class="type-alias"> + <span class="equals"> = </span> + {{ member.alias | renderRef }} + </span> + {% endif %} + {% if member.returnValue %} <span class="no-left">: {{ member.returnValue.title }}</span> {% endif %} diff --git a/doc-tool/resources/css/api-page.css b/doc-tool/resources/css/api-page.css index feda8f486..ab9f4fd5e 100644 --- a/doc-tool/resources/css/api-page.css +++ b/doc-tool/resources/css/api-page.css @@ -38,6 +38,10 @@ h1.section { margin: 30px 0; } +.empty { + display: none; +} + div#entity-members > div.member.protected { display: none; } diff --git a/doc-tool/resources/css/dottydoc.css b/doc-tool/resources/css/dottydoc.css index 5be744325..ab64882ea 100644 --- a/doc-tool/resources/css/dottydoc.css +++ b/doc-tool/resources/css/dottydoc.css @@ -70,11 +70,11 @@ ul.toc > li > a#home-button:hover { } ul.toc > li > a#home-button svg g#logo-foreground { - fill: rgba(152, 101, 167, 1); + fill: rgba(202, 68, 94, 1); } ul.toc > li > a#home-button svg g#logo-background { - fill: rgba(152, 101, 167, 0.45); + fill: rgba(202, 68, 94, 0.45); } ul.toc > li, |