comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 112
- c3f2f16fa4b8
- parent 110
- c00e968d018b
- child 113
- dde28a806552
equal
deleted
inserted
replaced
| 111:81c4f73236a4 | 112:c3f2f16fa4b8 |
|---|---|
| 392 " font-weight: bold;\n" | 392 " font-weight: bold;\n" |
| 393 " margin-left: 10px;\n" | 393 " margin-left: 10px;\n" |
| 394 " margin-top: 4px;\n" | 394 " margin-top: 4px;\n" |
| 395 " margin-bottom: 10px;\n" | 395 " margin-bottom: 10px;\n" |
| 396 "}\n" | 396 "}\n" |
| 397 ".ui-listbox-header-row {\n" | |
| 398 " font-weight: bold;\n" | |
| 399 "}\n" | |
| 397 ".ui-badge {\n" | 400 ".ui-badge {\n" |
| 398 " background-color: #e53935;\n" | 401 " background-color: #e53935;\n" |
| 399 " color: white;\n" | 402 " color: white;\n" |
| 400 " border-radius: 9999px;\n" | 403 " border-radius: 9999px;\n" |
| 401 " padding: 0px 10px 0px 10px;\n" | 404 " padding: 0px 10px 0px 10px;\n" |
| 441 ".ui-listbox-header-first {\n" | 444 ".ui-listbox-header-first {\n" |
| 442 " font-weight: bold;\n" | 445 " font-weight: bold;\n" |
| 443 " margin-left: 10px;\n" | 446 " margin-left: 10px;\n" |
| 444 " margin-top: 4px;\n" | 447 " margin-top: 4px;\n" |
| 445 " margin-bottom: 10px;\n" | 448 " margin-bottom: 10px;\n" |
| 449 "}\n" | |
| 450 ".ui-listbox-header-row {\n" | |
| 451 " font-weight: bold;\n" | |
| 446 "}\n" | 452 "}\n" |
| 447 ".ui-badge {\n" | 453 ".ui-badge {\n" |
| 448 " background-color: #e53935;\n" | 454 " background-color: #e53935;\n" |
| 449 " color: white;\n" | 455 " color: white;\n" |
| 450 " border-radius: 9999px;\n" | 456 " border-radius: 9999px;\n" |
