html, body,
h1, h2 {
margin: 0;
padding: 0;
}
h3 {
margin-top: 2pt;
margin-bottom: 2pt;
}
ul {
margin: 1ex;
margin-left: 1.5em;
padding: 0;
}
hr {
border-style: none;
color: #cccccc;
background-color: #cccccc;
height: 1px;
}
div.header {
position: fixed;
height: 4em;
background-color: white;
width: 100%;
margin: 0;
padding: 0.5ex;
border-bottom: 1px solid black;
top: 0;
left: 0;
z-index: 1;
}
div.header h1 {
white-space: nowrap;
text-overflow: ellipsis;
overflow: hidden;
}
div.main {
margin-top: 5em;
margin-left: 1ex;
margin-right: 1ex;
margin-bottom: 1ex;
}
div.main a[name] {
position: relative;
top: -4.5em;
}
div.outset {
padding: 1ex;
margin-top: 1ex;
margin-bottom: 1ex;
}
div.inset {
background-color: white;
margin-top: 1ex;
margin-bottom: 1ex;
padding: 0.5ex;
}
div.indent {
margin-left: 1em;
}
div.methods {
background-color: #fcaf3e;
}
div.method {
border: 1px solid #f57900;
}
div.signals {
background-color: #729fcf;
}
div.signal {
border: 1px solid #3465a4;
}
div.properties {
background-color: #ad7fa8;
}
div.property {
border: 1px solid #75507b;
}
div.tpproperties {
background-color: #999999;
}
div.tpproperty {
border: 1px solid #333333;
}
div.contact-attributes {
background-color: #ccccff;
border: 1px solid #9999cc;
}
div.contact-attribute {
border: 1px solid #9999cc;
}
div.handler-capability-tokens {
background-color: #339933;
border: 1px solid #228822;
}
div.handler-capability-token {
border: 1px solid #228822;
}
div.types {
background-color: #e9b96e;
}
div.type {
border: 1px solid #c17d11;
}
div.errors {
background-color: #ef2929;
}
div.error {
border: 1px solid #cc0000;
}
div.access {
font-weight: bold;
margin-left: 1ex;
}
div.summary {
padding: 0.5ex;
background-color: #eeeeec;
border: 1px solid #d3d7cf;
}
table.summary {
margin: 1ex;
font-size: small;
}
table.summary td {
padding-right: 1ex;
}
li.chapter {
margin-top: 1ex;
font-weight: bold;
}
li.causes-havoc {
font-style: italic;
}
li.deprecated,
li.deprecated a,
table.summary tr.deprecated td,
table.summary tr.deprecated td a {
color: gray;
}
div.requires,
div.docstring {
margin: 1ex;
}
div.added {
border-left: 2px solid #4e9a06;
margin: 1ex;
padding-left: 1ex;
}
div.added span.version {
color: #4e9a06;
font-weight: bold;
}
div.changed {
border-left: 2px solid #8f5902;
margin: 1ex;
padding-left: 1ex;
}
div.changed span.version {
color: #8f5902;
font-weight: bold;
}
div.deprecated,
div.havoc {
border-left: 2px solid #a40000;
margin: 1ex;
padding-left: 1ex;
}
div.deprecated span.version,
span.warning {
color: #a40000;
font-weight: bold;
}
div.rationale {
border-left: 2px solid gray;
margin: 1ex;
padding-left: 1ex;
}
span.permalink {
float: right;
font-size: x-small;
}