diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-13 14:23:57 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:08 +0100 |
| commit | ae89a7a1e067c3e7dde7d5fc8a8a016689f0b9e3 (patch) | |
| tree | 0a9feeb093237e6bb6ff7b73f223cefcb4823bbc /doc-tool/resources | |
| parent | eeeada2083dead6ef15c2c45e4158fa677b8ec02 (diff) | |
| download | dotty-ae89a7a1e067c3e7dde7d5fc8a8a016689f0b9e3.tar.gz dotty-ae89a7a1e067c3e7dde7d5fc8a8a016689f0b9e3.tar.bz2 dotty-ae89a7a1e067c3e7dde7d5fc8a8a016689f0b9e3.zip | |
fix extensions not getting loaded properly
Diffstat (limited to 'doc-tool/resources')
| -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 47f88ed6c..e2927f0d4 100644 --- a/doc-tool/resources/css/api-page.css +++ b/doc-tool/resources/css/api-page.css @@ -19,6 +19,10 @@ div#entity-title > span#entity-kind { font-weight: 100; } +div#entity-body table > tbody > tr > td { + padding: 10px; +} + div.entity-section { background-color: #fff; border-radius: 4px; |