html, body, iframe {
margin: 0px;
padding: 0px;
}
.header {
font-size: 1.2em;
text-align: center;
}
.header.small {
font-size: 0.8em;
}
div.contents ul {
max-width: 600px;
margin: 0 auto;
}
div.contents ul ul {
margin-left: 1em;
}
a {
text-decoration:none;
color: hsl(240, 100%, 50%);
}
a:hover { opacity: .5; }
h1 a {
color: hsla(0, 0%, 0%, .8);
}
h2 a, h3 a, h4 a, .contents a {
color: hsl(0, 100%, 25%);
}
h1 { text-align: center; }
div > p:first-child:first-letter,
h2 + p:first-letter,
h3 + p:first-letter,
h4 + p:first-letter,
h5 + p:first-letter {
font-weight: bold;
}
blockquote {
margin: 1em 0em 1em 1em;
padding-left: 1em;
border-left: solid gray 2px;
}
ul, ol {
margin-left: 1em;
padding-left: 1em;
}
dl {
margin-left: 1em;
}
.literal-block {
margin: 0 0 0 1em;
padding: 5px;
border: 1px;
border-style: solid;
border-color: hsl(0, 100%, 25%);
background-color: hsl(0, 10%, 95%);
overflow: auto;
}
tt.literal {
outline: 1px dotted orange;
padding: 1px;
}
table { border-collapse:collapse; margin-left:auto; margin-right:auto; }
table, tr, td { padding: 3px; border: 1px dotted maroon; background-color: cornsilk; }
pre.code.keyword, pre.code.tag {
color: blue;
}
pre.code.string, pre.code.preproc {
color: green;
}
pre.code.name.decorator, pre.code.literal {
color: brown;
}
pre.code.comment {
color: magenta;
}
pre.code span.generic.prompt {
color: magenta;
}
pre.code span.generic.output {
color: gray;
}
.attention, .caution, .danger, .error, .warning, .important, .hint, .note, .tip {
padding: 0px;
margin: 5px 0px;
text-indent: 2em;
}
.hint, .note, .tip { border: green 1px solid; }
.warning, .important { border: gold 1px solid; }
.attention, .caution, .danger, .error { border: red 1px solid; }
.attention p.first, .caution p.first, .danger p.first, .error p.first, .warning p.first, .important p.first, .hint p.first, .note p.first, .tip p.first {
margin: 0px;
padding: 5px 0px;
}
.hint p.first, .note p.first, .tip p.first { background: rgb(176, 255, 176); }
.warning p.first, .important p.first { background: rgb(255, 233, 176); }
.attention p.first, .caution p.first, .danger p.first, .error p.first { background: rgb(255, 196, 180); }
.attention p, .caution p, .danger p, .error p, .warning p, .important p, .hint p, .note p, .tip p {
margin: 5px;
}
.attention pre, .caution pre, .danger pre, .error pre, .warning pre, .important pre, .hint pre, .note pre, .tip pre {
margin: 0 5px 5px 4em;
}