blob: 46e267c58426ffe907e0d3dadb912b82c4a265c7 [file] [log] [blame]
img.logo {
margin-bottom: 1em;
}
section.major-detail {
margin: 0 10px 18px;
padding: 18px;
border: 1px dotted #999;
background-color: #FCFCFC;
border-radius: 5px;
}
section.major-detail > :first-child {
margin-top: 0px;
}
section.major-detail > :last-child {
margin-bottom: 0px;
}
section.minor-detail > :last-child {
margin-bottom: 0px;
}
h4 {
padding-left: 10px;
}
section.minor-detail {
padding: 0 10px;
}
ul.toc-sub {
margin-bottom: 0px;
}
button.display-toggle {
cursor: pointer;
}
a.incubating-marker {
display: inline;
color: white;
font-style: italic;
font-size: 0.6em;
text-shadow: none;
margin-left: 0.6em;
border-radius: 6px;
background-color: rgb(160, 160, 160);
border: 1px solid rgb(150, 150, 150);
padding: 1px 5px;
box-shadow: none;
cursor: pointer;
vertical-align: 1px;
}
a.incubating-marker:hover {
text-decoration: none;
border: 1px solid rgb(150, 150, 150);
}
section.footer {
font-size: 75%;
margin-top: 3em;
padding-top: 1em;
width: 100%;
border-top: solid #d0d0d0 0.4em;
text-align: center;
}
.java_keyword {
color: #DDC498;
}
.java_comment {
color: #AFAFAF;
}
.java_plain, .java_type {
}
.java_separator {
}
.java_operator {
color: #C7B390;
}
.java_literal {
color: #83C283;
}
/* TipTip CSS - Version 1.2 */
#tiptip_holder {
display: none;
position: absolute;
top: 0;
left: 0;
z-index: 99999;
}
#tiptip_holder.tip_top {
padding-bottom: 5px;
}
#tiptip_holder.tip_bottom {
padding-top: 5px;
}
#tiptip_holder.tip_right {
padding-left: 5px;
}
#tiptip_holder.tip_left {
padding-right: 5px;
}
#tiptip_content {
font-size: 14px;
color: #717171;
padding: 6px 10px;
border: 1px solid #8B8B8B;
background-color: #FFF;
border-radius: 8px;
box-shadow: 2px 2px 4px #acacac;
text-align: center;
}
#tiptip_arrow, #tiptip_arrow_inner {
position: absolute;
border-color: transparent;
border-style: solid;
border-width: 6px;
height: 0;
width: 0;
}
#tiptip_holder.tip_top #tiptip_arrow_inner {
margin-top: -7px;
margin-left: -6px;
border-top-color: #8B8B8B;
}
#tiptip_holder.tip_bottom #tiptip_arrow_inner {
margin-top: -5px;
margin-left: -6px;
border-bottom-color: #8B8B8B;
}
#tiptip_holder.tip_right #tiptip_arrow_inner {
margin-top: -6px;
margin-left: -5px;
border-right-color: #8B8B8B;
}
#tiptip_holder.tip_left #tiptip_arrow_inner {
margin-top: -6px;
margin-left: -7px;
border-left-color: #8B8B8B;
}