author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Fri, 30 Dec 2022 10:45:49 +0200 | |
changeset 2549 | cdc2b3b79a76 |
parent 2229 | 1a0b6597e594 |
permissions | -rw-r--r-- |
1889
265b8d0f6149
Generate UX friendly index.html with iframe to tips index.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1837
diff
changeset
|
1 |
html, body, iframe { |
265b8d0f6149
Generate UX friendly index.html with iframe to tips index.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1837
diff
changeset
|
2 |
margin: 0px; |
265b8d0f6149
Generate UX friendly index.html with iframe to tips index.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1837
diff
changeset
|
3 |
padding: 0px; |
265b8d0f6149
Generate UX friendly index.html with iframe to tips index.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1837
diff
changeset
|
4 |
} |
1729
22ffd80639c0
Make centered content design with adoption for mobile devices.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1546
diff
changeset
|
5 |
|
1891
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
6 |
.header { |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
7 |
font-size: 1.2em; |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
8 |
text-align: center; |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
9 |
} |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
10 |
.header.small { |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
11 |
font-size: 0.8em; |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
12 |
} |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
13 |
|
1910
123f59618e87
Fix: center TOC (after adding :local:).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1908
diff
changeset
|
14 |
div.contents ul { |
1918
1f865437038a
Increase width of TOC.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1915
diff
changeset
|
15 |
max-width: 600px; |
1729
22ffd80639c0
Make centered content design with adoption for mobile devices.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1546
diff
changeset
|
16 |
margin: 0 auto; |
22ffd80639c0
Make centered content design with adoption for mobile devices.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1546
diff
changeset
|
17 |
} |
1910
123f59618e87
Fix: center TOC (after adding :local:).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1908
diff
changeset
|
18 |
div.contents ul ul { |
123f59618e87
Fix: center TOC (after adding :local:).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1908
diff
changeset
|
19 |
margin-left: 1em; |
1729
22ffd80639c0
Make centered content design with adoption for mobile devices.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1546
diff
changeset
|
20 |
} |
22ffd80639c0
Make centered content design with adoption for mobile devices.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1546
diff
changeset
|
21 |
|
1891
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
22 |
a { |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
23 |
text-decoration:none; |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
24 |
color: hsl(240, 100%, 50%); |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
25 |
} |
1897
200fac373cf9
Highlight links on hover.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1891
diff
changeset
|
26 |
a:hover { opacity: .5; } |
1891
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
27 |
h1 a { |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
28 |
color: hsla(0, 0%, 0%, .8); |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
29 |
} |
1915
3f690f678d45
Fix content link color for single HTML.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1910
diff
changeset
|
30 |
h2 a, h3 a, h4 a, .contents a { |
1891
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
31 |
color: hsl(0, 100%, 25%); |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
32 |
} |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
33 |
h1 { text-align: center; } |
1899
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
34 |
div > p:first-child:first-letter, |
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
35 |
h2 + p:first-letter, |
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
36 |
h3 + p:first-letter, |
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
37 |
h4 + p:first-letter, |
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
38 |
h5 + p:first-letter { |
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
39 |
font-weight: bold; |
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
40 |
} |
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
41 |
|
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
42 |
blockquote { |
2229
1a0b6597e594
Mark block quot in HTMLe.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
2001
diff
changeset
|
43 |
margin: 1em 0em 1em 1em; |
1a0b6597e594
Mark block quot in HTMLe.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
2001
diff
changeset
|
44 |
padding-left: 1em; |
1a0b6597e594
Mark block quot in HTMLe.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
2001
diff
changeset
|
45 |
border-left: solid gray 2px; |
1899
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
46 |
} |
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
47 |
ul, ol { |
1903
901e7394849f
Decrease intent to increase space usage on mobile.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1899
diff
changeset
|
48 |
margin-left: 1em; |
1899
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
49 |
padding-left: 1em; |
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
50 |
} |
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
51 |
dl { |
1903
901e7394849f
Decrease intent to increase space usage on mobile.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1899
diff
changeset
|
52 |
margin-left: 1em; |
1899
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
53 |
} |
1031
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
54 |
.literal-block { |
1903
901e7394849f
Decrease intent to increase space usage on mobile.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1899
diff
changeset
|
55 |
margin: 0 0 0 1em; |
1031
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
56 |
padding: 5px; |
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
57 |
border: 1px; |
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
58 |
border-style: solid; |
1891
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
59 |
border-color: hsl(0, 100%, 25%); |
471406f3c69c
Apply consistent color schema. Remove duplicated links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1889
diff
changeset
|
60 |
background-color: hsl(0, 10%, 95%); |
1036
f04e852b68e0
Add scroll on overflow.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1031
diff
changeset
|
61 |
overflow: auto; |
1031
1febb0de8647
Fix colors. Add border.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
952
diff
changeset
|
62 |
} |
1478
a3179b1461cb
Highlight literals as verbatim text (same background).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1036
diff
changeset
|
63 |
tt.literal { |
a3179b1461cb
Highlight literals as verbatim text (same background).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1036
diff
changeset
|
64 |
outline: 1px dotted orange; |
a3179b1461cb
Highlight literals as verbatim text (same background).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1036
diff
changeset
|
65 |
padding: 1px; |
a3179b1461cb
Highlight literals as verbatim text (same background).
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1036
diff
changeset
|
66 |
} |
952 | 67 |
table { border-collapse:collapse; margin-left:auto; margin-right:auto; } |
68 |
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
|
69 |
|
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
70 |
pre.code.keyword, pre.code.tag { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
71 |
color: blue; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
72 |
} |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
73 |
pre.code.string, pre.code.preproc { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
74 |
color: green; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
75 |
} |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
76 |
pre.code.name.decorator, pre.code.literal { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
77 |
color: brown; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
78 |
} |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
79 |
pre.code.comment { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
80 |
color: magenta; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
81 |
} |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
82 |
pre.code span.generic.prompt { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
83 |
color: magenta; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
84 |
} |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
85 |
pre.code span.generic.output { |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
86 |
color: gray; |
be099c6f7b32
Customise CSS for console literal blocks.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1478
diff
changeset
|
87 |
} |
1837
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
88 |
|
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
89 |
.attention, .caution, .danger, .error, .warning, .important, .hint, .note, .tip { |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
90 |
padding: 0px; |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
91 |
margin: 5px 0px; |
1899
2d265814731e
Decrease indent level. Highlight only first letter in section.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1897
diff
changeset
|
92 |
text-indent: 2em; |
1837
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
93 |
} |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
94 |
.hint, .note, .tip { border: green 1px solid; } |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
95 |
.warning, .important { border: gold 1px solid; } |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
96 |
.attention, .caution, .danger, .error { border: red 1px solid; } |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
97 |
.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 { |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
98 |
margin: 0px; |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
99 |
padding: 5px 0px; |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
100 |
} |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
101 |
.hint p.first, .note p.first, .tip p.first { background: rgb(176, 255, 176); } |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
102 |
.warning p.first, .important p.first { background: rgb(255, 233, 176); } |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
103 |
.attention p.first, .caution p.first, .danger p.first, .error p.first { background: rgb(255, 196, 180); } |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
104 |
.attention p, .caution p, .danger p, .error p, .warning p, .important p, .hint p, .note p, .tip p { |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
105 |
margin: 5px; |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
106 |
} |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
107 |
.attention pre, .caution pre, .danger pre, .error pre, .warning pre, .important pre, .hint pre, .note pre, .tip pre { |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
108 |
margin: 0 5px 5px 4em; |
422610dafebe
Add CSS for attention, caution, danger, error, warning, important, hint, note, tip.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1729
diff
changeset
|
109 |
} |