diff options
author | Błażej Kardyś <bkardys@virtuslab.com> | 2020-01-20 17:13:28 +0100 |
---|---|---|
committer | Paweł Marks <Kordyjan@users.noreply.github.com> | 2020-01-31 15:07:06 +0100 |
commit | 71428219389d5fe429c0bad0bd31b2cda55cdfce (patch) | |
tree | 12a337a7ff55177cc2b4373b063c746310be2793 /core/src/main/resources/dokka/styles | |
parent | c3b911f286186a790be607e9b803e3ed63c77289 (diff) | |
download | dokka-71428219389d5fe429c0bad0bd31b2cda55cdfce.tar.gz dokka-71428219389d5fe429c0bad0bd31b2cda55cdfce.tar.bz2 dokka-71428219389d5fe429c0bad0bd31b2cda55cdfce.zip |
Adding changes to HTML UI render
Diffstat (limited to 'core/src/main/resources/dokka/styles')
-rw-r--r-- | core/src/main/resources/dokka/styles/style.css | 63 |
1 files changed, 61 insertions, 2 deletions
diff --git a/core/src/main/resources/dokka/styles/style.css b/core/src/main/resources/dokka/styles/style.css index 60ea133f..035b4fcd 100644 --- a/core/src/main/resources/dokka/styles/style.css +++ b/core/src/main/resources/dokka/styles/style.css @@ -1,9 +1,68 @@ @import url(https://fonts.googleapis.com/css?family=Open+Sans:300i,400,700); + +#content { + margin-top: 3em; + margin-left: 15em; +} + +#navigation { + position: relative +} + +#sideMenu, #searchBar { + position: absolute; +} + +#sideMenu { + width: 14em; + padding-left: 0.5em; +} + +#sideMenu .sideMenuPart { + margin-left: 0.25em; +} + +#sideMenu img { + margin: 1em 0.25em; +} + +#sideMenu hr { + background: #DADFE6; +} + +#searchBar { + width: 100%; +} + +#searchForm { + float: right; +} + +.sideMenuPart > .navButton { + margin-left:0.25em +} + +.sideMenuPart > .overview .navButtonContent::after { + float: right; + content: url("../images/arrow_down.svg"); +} + +.sideMenuPart.hidden > .navButton .navButtonContent::after { + content: '\02192'; +} + +.sideMenuPart.hidden > .sideMenuPart { + display: none; +} + +.filtered > a, .filtered > .navButton { + display: none; +} + body, table{ - padding:50px; font:14px/1.5 'Open Sans', "Helvetica Neue", Helvetica, Arial, sans-serif; - color:#555; + background: #F4F4F4; font-weight:300; margin-left: auto; margin-right: auto; |