1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
div.body, div.related, div.footer, code, div.code-block-caption,
div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6,
a.toc-backref
{color: black}
div.body p, div.body dd, div.body li, div.body blockquote
{hyphens: manual}
div.related
{background: none;
text-shadow: none;
line-height: normal;
padding-bottom: .25em;
border-bottom: thin solid black;}
a, div.related a
{color: navy}
a:visited, div.related a:visited
{color: purple}
code
{background-color: #dfd}
.highlight .s, .highlight .s2
{color: #060}
.highlight .ss
{color: #040}
.highlight .c1
{color: #630}
|
