author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Fri, 14 Aug 2015 12:39:21 +0300 | |
changeset 300 | 6b04b083cb79 |
parent 299 | 1cc50552c3ee |
child 301 | 1439e072640a |
permissions | -rw-r--r-- |
67 | 1 |
body, frameset { background-color: ivory; } |
299
1cc50552c3ee
Fix text width. Center text.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
298
diff
changeset
|
2 |
body { |
1cc50552c3ee
Fix text width. Center text.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
298
diff
changeset
|
3 |
padding: 0 10px 0 10px; |
1cc50552c3ee
Fix text width. Center text.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
298
diff
changeset
|
4 |
max-width: 800px; |
300
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
5 |
margin: 0 auto; |
299
1cc50552c3ee
Fix text width. Center text.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
298
diff
changeset
|
6 |
} |
300
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
7 |
|
67 | 8 |
a { text-decoration:none; } |
9 |
a:link { color: brown; } |
|
10 |
a:visited { color: IndianRed; } |
|
11 |
a:hover { background: bisque; border-radius: 10px; padding: 1px; } |
|
12 |
p { text-indent: 2em; } |
|
300
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
13 |
|
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
14 |
p.topic-title.first { display: none; } |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
15 |
p.topic-title.first + ul { |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
16 |
max-width: 400px; |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
17 |
margin: 0 auto; |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
18 |
padding: 5px 0; |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
19 |
background: cornsilk; |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
20 |
border: 1px solid red; |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
21 |
border-radius: 10px; |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
22 |
} |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
23 |
p.topic-title.first + ul > li { |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
24 |
list-style: none; |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
25 |
} |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
26 |
p.topic-title.first + ul > li > a { display: none; } |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
27 |
p.topic-title.first + ul li li { |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
28 |
padding-right: 10px; |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
29 |
} |
6b04b083cb79
Highlight TOC. Hide document name from TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
299
diff
changeset
|
30 |
|
279 | 31 |
.formula, .literal-block { |
293
eab4f722dd9d
Adjust code blocks to content width.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
279
diff
changeset
|
32 |
display: inline-block; |
eab4f722dd9d
Adjust code blocks to content width.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
279
diff
changeset
|
33 |
overflow: auto; |
eab4f722dd9d
Adjust code blocks to content width.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
279
diff
changeset
|
34 |
box-sizing: border-box; |
eab4f722dd9d
Adjust code blocks to content width.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
279
diff
changeset
|
35 |
max-width: calc(100% - 4em); |
67 | 36 |
margin: 0 0 0 4em; |
37 |
padding: 5px; |
|
293
eab4f722dd9d
Adjust code blocks to content width.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
279
diff
changeset
|
38 |
border: 1px solid brown; |
eab4f722dd9d
Adjust code blocks to content width.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
279
diff
changeset
|
39 |
background: LightYellow; |
67 | 40 |
} |
279 | 41 |
table { |
42 |
border-collapse:collapse; |
|
43 |
margin-left:auto; |
|
44 |
margin-right:auto; |
|
45 |
} |
|
46 |
table, tr, td { |
|
47 |
border: 1px dotted maroon; |
|
48 |
background-color: cornsilk; |
|
49 |
} |
|
50 |
table tr td { |
|
51 |
margin: 3px; |
|
52 |
padding: 3px; |
|
53 |
} |
|
54 |
||
55 |
.cr { color: red; } |
|
56 |
.cg { color: green; } |
|
57 |
||
58 |
colgroup { display: none; } |
|
59 |
||
60 |
pre span.keyword { |
|
61 |
color: blue; |
|
62 |
} |
|
63 |
pre span.function { |
|
64 |
color: brown; |
|
65 |
} |
|
66 |
pre span.literal { |
|
67 |
color: green; |
|
68 |
} |
|
69 |
||
70 |