diff options
Diffstat (limited to 'documentation/4.1/api/lib/template.css')
-rw-r--r-- | documentation/4.1/api/lib/template.css | 59 |
1 files changed, 58 insertions, 1 deletions
diff --git a/documentation/4.1/api/lib/template.css b/documentation/4.1/api/lib/template.css index d5f89b1..1297447 100644 --- a/documentation/4.1/api/lib/template.css +++ b/documentation/4.1/api/lib/template.css @@ -244,6 +244,18 @@ span.symbol > a { background: url("package.svg") no-repeat center; } +.big-circle.annotation { + background: url("annotation.svg") no-repeat center; +} + +.big-circle.object-companion-annotation { + background: url("object_comp_annotation.svg") no-repeat center; +} + +.big-circle.annotation-companion-object { + background: url("annotation_comp.svg") no-repeat center; +} + body.abstract.type div.big-circle { background: url("abstract_type.svg") no-repeat center; } @@ -666,7 +678,7 @@ div#definition > h4#signature > span.modifier_kind > i.unfold-arrow, } .cmt code { - font-weight: bold; + font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace; } .cmt a { @@ -819,6 +831,38 @@ div.fullcomment dl.paramcmts > dd { min-height: 15px; } +/* Author Content Table formatting */ + +.doctbl { + border-collapse: collapse; + margin: 1.0em 0em; +} + +.doctbl-left { + text-align: left; +} + +.doctbl-center { + text-align: center; +} + +.doctbl-right { + text-align: right; +} + +table.doctbl th { + border: 1px dotted #364550; + background-color: #c2d2dc; + padding: 5px; + color: #103a51; + font-weight: bold; +} + +table.doctbl td { + border: 1px dotted #364550; + padding: 5px; +} + /* Members filter tool */ #memberfilter { @@ -847,6 +891,19 @@ div.fullcomment dl.paramcmts > dd { font-family: "Open Sans"; } +#memberfilter > .input > input::-webkit-input-placeholder { + color: #fff; + opacity: 0.6; +} +#memberfilter > .input > input:-ms-input-placeholder { + color: #fff; + opacity: 0.6; +} +#memberfilter > .input > input::placeholder { + color: #fff; + opacity: 0.6; +} + #memberfilter > .clear { display: none; position: absolute; |