comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- branch
- newapi
- changeset 413
- b8e41d42f400
- parent 411
- 3e91b7aff6a1
equal
deleted
inserted
replaced
| 412:138b1089ba05 | 413:b8e41d42f400 |
|---|---|
| 394 " background-color: red;\n" | 394 " background-color: red;\n" |
| 395 "}\n" | 395 "}\n" |
| 396 ".ui_label_title {\n" | 396 ".ui_label_title {\n" |
| 397 " font-weight: bold;\n" | 397 " font-weight: bold;\n" |
| 398 "}\n" | 398 "}\n" |
| 399 "placessidebar row {\n" | |
| 400 " padding-left: 10px;\n" | |
| 401 "}\n" | |
| 402 ".ui-listbox-header {\n" | |
| 403 " font-weight: bold;\n" | |
| 404 " margin-left: 10px;\n" | |
| 405 " margin-top: 12px;\n" | |
| 406 " margin-bottom: 10px;\n" | |
| 407 "}\n" | |
| 408 ".ui-listbox-header-first {\n" | |
| 409 " font-weight: bold;\n" | |
| 410 " margin-left: 10px;\n" | |
| 411 " margin-top: 4px;\n" | |
| 412 " margin-bottom: 10px;\n" | |
| 413 "}\n" | |
| 399 ; | 414 ; |
| 400 #endif | 415 #endif |
| 401 | 416 |
| 402 void ui_css_init(void) { | 417 void ui_css_init(void) { |
| 403 ui_gtk_css_provider = gtk_css_provider_new(); | 418 ui_gtk_css_provider = gtk_css_provider_new(); |
