annotate default/static/ticket.css @ 84:b2ef34e602cf

base, js (websocket), css (main style): dynamic pages implementation, first draft: this patch introduces the browser part of dynamic pages. Dynamic pages work by establishing a websocket between server and the current page, if requested by server (which means that needed arguments are present in template). Once the connection is established, the server can, for now, reload the page, append HTML elements, or receive arbitrary data (without reloading the page, in opposition to data post). If connection can't be established, a popup will be displayed and connection will be retried many times after variable timeouts. The browser will finally give up and display an alert to client if the number of retries is too high (20 for now).
author Goffi <goffi@goffi.org>
date Wed, 03 Jan 2018 01:12:16 +0100
parents e99bd385774a
children 042530200fe4
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 {
e99bd385774a ticket(overview): use list instead of table and display labels
Goffi <goffi@goffi.org>
parents: 66
diff changeset
48 font-style: 1;
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 }