body, frameset { background-color: ivory; }

body {

    max-width: 800px;

    margin: 0 auto;

}

@media (max-width: 820px) {

    body { margin: 0 10px 0 10px; }

}

p.topic-title.first { display: none; }

p.topic-title.first + ul {

    max-width: 400px;

    margin: 0 auto;

    padding: 5px 0;

    background: cornsilk;

    border: 1px solid red;

    border-radius: 10px;

}

p.topic-title.first + ul > li {

    list-style: none;

}

p.topic-title.first + ul > li > a { display: none; }

p.topic-title.first + ul li li {

    padding-right: 10px;

}

a { text-decoration:none; }

a:link { color: brown; }

a:visited { color: IndianRed; }

a:hover { background: bisque; border-radius: 10px; padding: 1px; }

p { text-indent: 2em; }

p:first-letter { font-weight: bold; }

.literal-block {

    margin: 0 0 0 4em;

    padding: 5px;

    border: 1px;

    border-style: solid;

    border-color: brown;

    background-color: LightYellow;

    overflow: auto;

}

tt.literal {

    background: LightYellow;

    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;

}

.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;

}