annotate src/chat.css @ 48:7628fd0e3560

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 28 Feb 2025 19:59:27 -0700
parents 89d3ddd302c7
children 9298b04607ae
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
37
cfd1f92c264f dont use vh
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
1 body {
cfd1f92c264f dont use vh
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
2 position: fixed;
cfd1f92c264f dont use vh
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
3 top: 0;
cfd1f92c264f dont use vh
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
4 bottom: 0;
cfd1f92c264f dont use vh
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
5 left: 0;
cfd1f92c264f dont use vh
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
6 right: 0;
cfd1f92c264f dont use vh
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
7 }
cfd1f92c264f dont use vh
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
8
48
Franklin Schmidt <fschmidt@gmail.com>
parents: 43
diff changeset
9 div[chat_content] {
Franklin Schmidt <fschmidt@gmail.com>
parents: 43
diff changeset
10 margin-left: 3%;
Franklin Schmidt <fschmidt@gmail.com>
parents: 43
diff changeset
11 margin-right: 3%;
10
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 display: flex;
37
cfd1f92c264f dont use vh
Franklin Schmidt <fschmidt@gmail.com>
parents: 36
diff changeset
13 height: calc(100% - 32px);
10
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 div[chats] {
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 overflow-y: auto;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 div[chats] > div {
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 margin-top: 2px;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 margin-bottom: 2px;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 padding-top: 16px;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 padding-bottom: 16px;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 padding-left: 8px;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 padding-right: 8px;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 border-radius: 4px;
11
563a5358f2ee add delete_chat
Franklin Schmidt <fschmidt@gmail.com>
parents: 10
diff changeset
28 cursor: pointer;
10
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 div[chats] > div:hover,
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 div[chats] > div[selected] {
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 background-color: LightBlue;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 div[posts] {
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 width: 100%;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 display: flex;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 flex-direction: column;
34
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
40 justify-content: space-between;
10
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 div[posts] > * {
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 padding-right: 3vw;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47 div[top] {
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
48 display: flex;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
49 justify-content: space-between;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
50 align-items: center;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
51 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
52
41
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 37
diff changeset
53 div[top] h3 a {
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 37
diff changeset
54 display: inline-block;
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 37
diff changeset
55 margin-bottom: -5px;
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 37
diff changeset
56 }
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 37
diff changeset
57 div[top] h3 a img {
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 37
diff changeset
58 display: block;
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 37
diff changeset
59 }
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 37
diff changeset
60
10
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
61 div[main] {
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 overflow-y: auto;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
63 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
64
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
65 div[post] {
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
66 margin-top: 16px;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
67 margin-bottom: 16px;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
68 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
69
34
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
70 [intro] {
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
71 text-align: center;
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
72 }
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
73
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
74 div[who] {
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
75 display: flex;
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
76 justify-content: space-between;
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
77 font-size: 12px;
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
78 color: grey;
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
79 }
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
80
22
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
81 span[pulldown] {
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
82 position: relative;
35
27c41f22d2a9 improve fixPosts
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
83 width: 16px;
27c41f22d2a9 improve fixPosts
Franklin Schmidt <fschmidt@gmail.com>
parents: 34
diff changeset
84 display: inline-block;
36
Franklin Schmidt <fschmidt@gmail.com>
parents: 35
diff changeset
85 vertical-align: middle;
22
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
86 }
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
87
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
88 span[pulldown] > div {
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
89 display: none;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
90 top: 0;
34
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
91 right: 100%;
22
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
92 z-index: 2;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
93 position: absolute;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
94 border: 1px solid #cccccc;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
95 border-radius: 4px;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
96 text-align: left;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
97 background-color: #eeeeee;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
98 padding: 5px 0;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
99 }
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
100
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
101 span[pulldown] > div > span {
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
102 white-space: nowrap;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
103 display: block;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
104 padding: 3px 16px;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
105 xcolor: #333333;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
106 cursor: pointer;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
107 }
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
108
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
109 span[pulldown] > div > span:hover {
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
110 color: #ffffff;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
111 background-color: #428bca;
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
112 }
949914955bfe add menu
Franklin Schmidt <fschmidt@gmail.com>
parents: 11
diff changeset
113
10
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
114 div[text] {
34
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
115 white-space: pre-wrap;
10
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
116 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
117
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
118 div[input] {
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
119 padding-top: 1em;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
120 padding-bottom: 1em;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
121 display: flex;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
122 gap: 8px;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
123 align-items: flex-end;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
124 }
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
125
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
126 div[input] textarea {
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
127 flex-grow: 1;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
128 max-height: 150px;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
129 resize: none;
f9e6a4cc4f7d add Post
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
130 }
24
af41be2dcdec add edit_post
Franklin Schmidt <fschmidt@gmail.com>
parents: 22
diff changeset
131
af41be2dcdec add edit_post
Franklin Schmidt <fschmidt@gmail.com>
parents: 22
diff changeset
132 dialog textarea {
af41be2dcdec add edit_post
Franklin Schmidt <fschmidt@gmail.com>
parents: 22
diff changeset
133 width: 600px;
af41be2dcdec add edit_post
Franklin Schmidt <fschmidt@gmail.com>
parents: 22
diff changeset
134 max-width: 80vw;
af41be2dcdec add edit_post
Franklin Schmidt <fschmidt@gmail.com>
parents: 22
diff changeset
135 }
27
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
136
33
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
137 span[online] {
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
138 display: inline-block;
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
139 aspect-ratio: 1;
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
140 background-color: grey;
34
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
141 height: 0.6em;
33
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
142 border-radius: 50%;
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
143 margin-left: 4px;
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
144 }
e2b7f6393dab add online
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
145
27
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
146
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
147 @media (min-width: 700px) {
48
Franklin Schmidt <fschmidt@gmail.com>
parents: 43
diff changeset
148 div[chat_content] {
27
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
149 margin-left: calc(3% - 8px);
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
150 margin-right: 0;
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
151 }
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
152
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
153 div[chats] {
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
154 width: 250px;
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
155 padding-right: 8px;
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
156 flex-shrink: 0;
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
157 }
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
158
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
159 div[posts] {
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
160 padding-left: 8px;
34
Franklin Schmidt <fschmidt@gmail.com>
parents: 33
diff changeset
161 border-left: 1px solid grey;
27
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
162 }
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
163
41
818697418dbe add voice link
Franklin Schmidt <fschmidt@gmail.com>
parents: 37
diff changeset
164 div[top] img[back] {
27
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
165 display: none;
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
166 }
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
167 }
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
168
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
169 @media (max-width: 699px) {
48
Franklin Schmidt <fschmidt@gmail.com>
parents: 43
diff changeset
170 div[chat_content][show="chats"] div[posts],
Franklin Schmidt <fschmidt@gmail.com>
parents: 43
diff changeset
171 div[chat_content][show="posts"] div[chats] {
27
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
172 display: none;
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
173 }
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
174
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
175 div[chats] {
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
176 width: 100%;
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
177 }
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
178
48
Franklin Schmidt <fschmidt@gmail.com>
parents: 43
diff changeset
179 div[chat_content][show="posts"] {
27
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
180 margin-right: 0;
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
181 }
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
182
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
183 div[top] h3 {
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
184 display: flex;
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
185 gap: 6px;
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
186 }
809193524522 responsive
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
187 }