author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Tue, 28 Jan 2014 17:14:35 +0200 | |
changeset 1554 | 7eadf0928d57 |
parent 1546 | be099c6f7b32 |
child 1729 | 22ffd80639c0 |
permissions | -rw-r--r-- |
904 | 1 |
body, frameset { background-color: ivory; } |
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
2 |
body { padding: 0 10% 0 10%; } |
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
3 |
a { text-decoration:none; } |
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
4 |
a:link { color: brown; } |
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
5 |
a:visited { color: IndianRed; } |
1031
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
6 |
a:hover { background: bisque; border-radius: 10px; padding: 1px; } |
902
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
7 |
p { text-indent: 2em; } |
034aeeb2a16d
Build html version of tips.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
8 |
p:first-letter { font-weight: bold; } |
1031
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
9 |
.literal-block { |
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
10 |
margin: 0 0 0 4em; |
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
11 |
padding: 5px; |
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
12 |
border: 1px; |
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
13 |
border-style: solid; |
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
14 |
border-color: brown; |
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
15 |
background-color: LightYellow; |
1036
f04e852b68e0
Add scroll on overflow.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1031
diff
changeset
|
16 |
overflow: auto; |
1031
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
17 |
} |
1478
a3179b1461cb
Highlight literals as verbatim text (same background).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1036
diff
changeset
|
18 |
tt.literal { |
a3179b1461cb
Highlight literals as verbatim text (same background).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1036
diff
changeset
|
19 |
background: LightYellow; |
a3179b1461cb
Highlight literals as verbatim text (same background).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1036
diff
changeset
|
20 |
outline: 1px dotted orange; |
a3179b1461cb
Highlight literals as verbatim text (same background).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1036
diff
changeset
|
21 |
padding: 1px; |
a3179b1461cb
Highlight literals as verbatim text (same background).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1036
diff
changeset
|
22 |
} |
952 | 23 |
table { border-collapse:collapse; margin-left:auto; margin-right:auto; } |
24 |
table, tr, td { padding: 3px; border: 1px dotted maroon; background-color: cornsilk; } |
|
1546
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
25 |
|
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
26 |
pre.code.keyword, pre.code.tag { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
27 |
color: blue; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
28 |
} |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
29 |
pre.code.string, pre.code.preproc { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
30 |
color: green; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
31 |
} |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
32 |
pre.code.name.decorator, pre.code.literal { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
33 |
color: brown; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
34 |
} |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
35 |
pre.code.comment { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
36 |
color: magenta; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
37 |
} |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
38 |
pre.code span.generic.prompt { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
39 |
color: magenta; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
40 |
} |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
41 |
pre.code span.generic.output { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
42 |
color: gray; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
43 |
} |