comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 853
- 380ec881faa2
- parent 796
- 4d04cb879daa
- child 867
- 83bb0dd7123f
equal
deleted
inserted
replaced
| 852:a04cb4398034 | 853:380ec881faa2 |
|---|---|
| 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" |
