comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 109
- c3dfcb8f0be7
- parent 108
- 77254bd6dccb
- child 110
- c00e968d018b
equal
deleted
inserted
replaced
| 108:77254bd6dccb | 109:c3dfcb8f0be7 |
|---|---|
| 393 " font-weight: bold;\n" | 393 " font-weight: bold;\n" |
| 394 " margin-left: 10px;\n" | 394 " margin-left: 10px;\n" |
| 395 " margin-top: 4px;\n" | 395 " margin-top: 4px;\n" |
| 396 " margin-bottom: 10px;\n" | 396 " margin-bottom: 10px;\n" |
| 397 "}\n" | 397 "}\n" |
| 398 ".ui-badge {\n" | |
| 399 " background-color: #e53935;\n" | |
| 400 " color: white;\n" | |
| 401 " border-radius: 9999px;\n" | |
| 402 " padding: 0px 10px 0px 10px;\n" | |
| 403 " font-weight: bold;\n" | |
| 404 " margin-left: 4px;" | |
| 405 " margin-right: 4px;" | |
| 406 "}\n" | |
| 398 ; | 407 ; |
| 399 | 408 |
| 400 #elif GTK_MAJOR_VERSION == 3 | 409 #elif GTK_MAJOR_VERSION == 3 |
| 401 static const char *ui_gtk_css = | 410 static const char *ui_gtk_css = |
| 402 "#path-textfield-box {\n" | 411 "#path-textfield-box {\n" |
| 425 ".ui-listbox-header-first {\n" | 434 ".ui-listbox-header-first {\n" |
| 426 " font-weight: bold;\n" | 435 " font-weight: bold;\n" |
| 427 " margin-left: 10px;\n" | 436 " margin-left: 10px;\n" |
| 428 " margin-top: 4px;\n" | 437 " margin-top: 4px;\n" |
| 429 " margin-bottom: 10px;\n" | 438 " margin-bottom: 10px;\n" |
| 439 "}\n" | |
| 440 ".ui-badge {\n" | |
| 441 " background-color: #e53935;\n" | |
| 442 " color: white;\n" | |
| 443 " border-radius: 9999px;\n" | |
| 444 " padding: 0px 10px 0px 10px;\n" | |
| 445 " font-weight: bold;\n" | |
| 446 " margin-left: 4px;" | |
| 447 " margin-right: 4px;" | |
| 430 "}\n" | 448 "}\n" |
| 431 ; | 449 ; |
| 432 #endif | 450 #endif |
| 433 | 451 |
| 434 void ui_css_init(void) { | 452 void ui_css_init(void) { |
