www/rst.css
author Oleksandr Gavenko <gavenkoa@gmail.com>
Sun, 03 Jan 2021 23:37:00 +0200
changeset 2492 bd3d45148652
parent 2229 1a0b6597e594
permissions -rw-r--r--
Fixed example.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
510d668d5e4c Add table CSS.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 904
diff changeset
    67
table { border-collapse:collapse; margin-left:auto; margin-right:auto; }
510d668d5e4c Add table CSS.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 904
diff changeset
    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
}