diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-05-03 15:35:09 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-08-19 15:37:21 +0200 |
commit | 86f816d430ce61a751c7b8a5b787b0fcabcee3e6 (patch) | |
tree | c9db23e1d30d7dbedb74806e6142865daa96c05d /dottydoc/js | |
parent | 0fb1058cafc8c8a72c9d97e3aa1ff7584a28ec82 (diff) | |
download | dotty-86f816d430ce61a751c7b8a5b787b0fcabcee3e6.tar.gz dotty-86f816d430ce61a751c7b8a5b787b0fcabcee3e6.tar.bz2 dotty-86f816d430ce61a751c7b8a5b787b0fcabcee3e6.zip |
Add companions to package view w ability to choose between them
Diffstat (limited to 'dottydoc/js')
-rw-r--r-- | dottydoc/js/static/index.css | 58 |
1 files changed, 55 insertions, 3 deletions
diff --git a/dottydoc/js/static/index.css b/dottydoc/js/static/index.css index e0fb19f93..cdf4b0206 100644 --- a/dottydoc/js/static/index.css +++ b/dottydoc/js/static/index.css @@ -12,12 +12,64 @@ div.member.member-fullcomment:hover { cursor: pointer; } -nav.packages { +ul.packages { padding-top: 0 !important; } -nav.packages > a.entity { - padding: 0.2em 4em !important; +ul.packages > li.entity { + padding: 0; + transition: 0.3s; +} + +ul.packages > li.entity.one { + margin-left: -48px; +} + +ul.packages > li.entity.two { + margin-left: -96px; +} + +ul.packages > li.entity:hover { + background-color: #efefef; + margin-left: 0px; +} + +li.entity > a.entity-button { + float: left; + display: inline; + background-color: green; + height: 48px; + width: 48px; + line-height: 48px; + vertical-align: middle; + text-align: center; + text-decoration: none; + color: #fff; + +} + +li.entity > a.entity-name { + padding-left: 2em; + font-size: 14px; +} + +li.entity > a.entity-button.object { + background-color: rgb(44, 108, 141); +} + +li.entity > a.entity-button.class, +li.entity > a.entity-button.caseclass { + background-color: rgb(68, 173, 125); +} + +li.entity > a.entity-button.trait { + background-color: rgb(25, 170, 207); +} + +li.entity > a.entity-button.shadowed { + -webkit-box-shadow: inset -2px 0px 5px -3px rgba(0,0,0,0.25); + -moz-box-shadow: inset -2px 0px 5px -3px rgba(0,0,0,0.25); + box-shadow: inset -2px 0px 5px -3px rgba(0,0,0,0.25); } div.search-container { |