Mercurial > libervia-templates

annotate default/static/ticket.css @ 90:042530200fe4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
css (ticket): fixed bad value for font-style
author Goffi <goffi@goffi.org>
date Fri, 12 Jan 2018 19:51:04 +0100
parents e99bd385774a
children 7f8b948bddfe
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
1 @import 'blog.css'; /* needed as blog/articles.html is included */
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
2
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
3 .instructions {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
4 font-style: italic;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
5 text-align: center;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
6 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
7
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
8 .instructions span {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
9 padding: 0.3em;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
10 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
11
74
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
12 ul.xmlui_list {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
13 list-style: none;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
14 display: flex;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
15 flex-direction: column;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
16 padding: 0;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
17 }
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
18
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
19 .xmlui_list li {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
20 display: inline-flex;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
21 background: #eee;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
22 padding: 0.5em;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
23 margin: 0.5em 0;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
24 border: 1px solid silver;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
25 }
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
26
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
27 .xmlui_list li:hover {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
28 background: yellow;
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
29 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
30
74
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
31 .xmlui_list a {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
32 display: flex;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
33 width: 100%;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
34 text-decoration: none;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
35 color: inherit;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
36 }
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
37
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
38 .xmlui_list a:visited {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
39 color: inherit;
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
40 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
41
74
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
42 .tickets a.status_closed {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
43 text-decoration: line-through;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
44 color: grey;
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
45 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
46
74
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
47 .xmlui_field__id {
90
042530200fe4 css (ticket): fixed bad value for font-style
Goffi <goffi@goffi.org>
parents: 74
diff changeset
48 font-style: italic;
74
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
49 padding-right: 1em;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
50 }
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
51
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
52 .xmlui_field__title {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
53 padding-right: 1em;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
54 }
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
55
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
56 .tickets a.severity_major .xmlui_field__title {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
57 font-weight: bold;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
58 color: red;
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
59 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
60
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
61 .tickets tbody tr.severity_major .td_title a::before {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
62 content: '⚠ ';
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
63 color: red;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
64 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
65
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
66 /* single ticket */
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
67
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
68 .ticket {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
69 padding: 20px;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
70 max-width: 500px;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
71 margin: 0 auto;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
72 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
73
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
74 .view .xmlui_widget {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
75 width: auto;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
76 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
77
63
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
78 .view div.xmlui_cont div.xmlui_cont {
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
79 display: grid;
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
80 grid-template-columns: min-content 1fr;
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
81 }
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
82
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
83 .view #label_wid_title,
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
84 .view #label_wid_body,
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
85 .view #label_wid_id,
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
86 .view #label_wid_comments_uri,
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
87 .view #wid_comments_uri {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
88 display: none
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
89 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
90
63
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
91 .view .xmlui_label {
64
767509e8c272 ticket/item: added padding to label
Goffi <goffi@goffi.org>
parents: 63
diff changeset
92 padding-right: 2em;
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
93 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
94
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
95 .view #wid_id {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
96 margin: 0;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
97 font-style: italic;
63
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
98 grid-column-start: 1;
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
99 grid-column-end: 3;
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
100 text-align: right;
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
101 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
102
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
103 .view .xmlui_label {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
104 font-weight: bold;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
105 float: left;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
106 color: #808080cc;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
107 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
108
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
109 .view #wid_title {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
110 font-weight: bold;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
111 display: block;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
112 text-align: center;
63
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
113 grid-column-start: 1;
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
114 grid-column-end: 3;
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
115 }
61
f76ec90e0e1e base: menus handling, first draft:
Goffi <goffi@goffi.org>
parents: 56
diff changeset
116 .view #wid_title::first-letter {
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
117 text-transform: uppercase;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
118 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
119
74
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
120 .view #wid_labels span, .xmlui_field__labels span {
66
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 64
diff changeset
121 font-size: 0.8em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 64
diff changeset
122 background: #eae3e3;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 64
diff changeset
123 font-variant: small-caps;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 64
diff changeset
124 border: 1px solid black;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 64
diff changeset
125 border-radius: 0.5em;
9834106678da base: menu implementation:
Goffi <goffi@goffi.org>
parents: 64
diff changeset
126 padding: 0 2px;
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
127 white-space: nowrap;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
128 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
129
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
130 .view #wid_labels span.value_work_in_progress {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
131 background: yellow;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
132 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
133
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
134 .view #wid_type {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
135 font-weight: bold;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
136 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
137
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
138 .view #wid_type span.value_bug::after {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
139 content: ' 🐛';
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
140 color: red;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
141 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
142
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
143 .view #wid_severity span.value_major {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
144 font-weight: bold;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
145 color: red;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
146 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
147
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
148 .view #wid_severity span.value_major::after {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
149 content: '⚠ ';
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
150 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
151
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
152 .view #wid_body {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
153 white-space: pre-wrap;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
154 max-height: 500px;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
155 overflow: auto;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
156 resize: both;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
157 background-color: white;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
158 padding: 5px;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
159 text-align: justify;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
160 border: 1px solid black;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
161 border-radius: 5px;
63
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
162 grid-column-start: 1;
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
163 grid-column-end: 3;
a9ecc765214c ticket(view): use CSS grid to display metadata, and put data next to labels
Goffi <goffi@goffi.org>
parents: 61
diff changeset
164 display: block;
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
165 }
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
166
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
167 .comment_post {
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
168 margin-top: 3em;
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
169 }
74
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
170
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
171 @media (min-width: 800px) {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
172 ul.xmlui_list {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
173 padding: 0 2em;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
174 }
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
175 .xmlui_list li {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
176 border-radius: 0.3em;
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
177 }
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
178 }