diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-05-11 15:57:56 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-08-19 15:37:24 +0200 |
commit | 926a81c358b58ea09de86f8d55519cc38bc97034 (patch) | |
tree | 1b8a522e3c4edbef1bcc9443f20d22089d9dbf6c /dottydoc/jvm/resources/index.css | |
parent | bcc75851c42b1e412767dc77465a145e3fb4b5d5 (diff) | |
download | dotty-926a81c358b58ea09de86f8d55519cc38bc97034.tar.gz dotty-926a81c358b58ea09de86f8d55519cc38bc97034.tar.bz2 dotty-926a81c358b58ea09de86f8d55519cc38bc97034.zip |
Add option `-Ydoc-output` for specifying output dir
Diffstat (limited to 'dottydoc/jvm/resources/index.css')
-rw-r--r-- | dottydoc/jvm/resources/index.css | 116 |
1 files changed, 116 insertions, 0 deletions
diff --git a/dottydoc/jvm/resources/index.css b/dottydoc/jvm/resources/index.css new file mode 100644 index 000000000..2be323ae7 --- /dev/null +++ b/dottydoc/jvm/resources/index.css @@ -0,0 +1,116 @@ +main > div.page-content { + padding: 30px 60px; +} + +span.subtitle { + font-size: 12px; + line-height: 0 !important; + padding-top: 32px; +} + +div.member { + min-height: 70px; +} + +div.member.member-fullcomment:hover { + cursor: pointer; +} + +ul.packages { + padding-top: 0 !important; +} + +ul.packages > li.package { + padding-bottom: 0; + padding-left: 40px; + font-size: 14px; +} + +ul.packages > li.entity { + padding: 0; + transition: 0.3s; + min-height: 36px !important; + max-height: 36px !important; +} + +ul.packages > li.entity.one { + margin-left: -36px; +} + +ul.packages > li.entity.two { + margin-left: -72px; +} + +ul.packages > li.entity:hover { + background-color: #efefef; + margin-left: 0px; +} + +li.entity > a.entity-button { + float: left; + display: inline; + background-color: green; + height: 36px; + width: 36px; + line-height: 36px; + vertical-align: middle; + text-align: center; + text-decoration: none; + color: #fff; +} + +li.entity > a.entity-name { + text-decoration: none; + font-weight: normal; + color: #757575; + padding-left: 48px; + font-size: 14px; + font-family: "Helvetica","Arial",sans-serif; + letter-spacing: 0; +} + +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 { + margin: 0 2em 0 40px; +} + +a.mdl-navigation__link { + padding-top: 0.2em !important; + padding-bottom: 0.2em !important; +} + +nav.related { + padding-top: 0 !important; +} + +span#docs-title { + line-height: normal; + padding-top: 2em; +} + +span.member-name, span.return-value { + font-family: "Roboto","Helvetica","Arial",sans-serif; + font-weight: 400; + font-size: 16px; + margin: 24px 0 16px; + letter-spacing: .04em; + line-height: 24px; +} |