comparison: ui/gtk/toolkit.c
ui/gtk/toolkit.c
- changeset 87
- 5360027fb282
- parent 86
- 8e7c57c23133
equal
deleted
inserted
replaced
| 86:8e7c57c23133 | 87:5360027fb282 |
|---|---|
| 362 static const char *ui_gtk_css = | 362 static const char *ui_gtk_css = |
| 363 "#path-textfield-box {\n" | 363 "#path-textfield-box {\n" |
| 364 " background-color: @theme_base_color;\n" | 364 " background-color: @theme_base_color;\n" |
| 365 " border-radius: 5px;\n" | 365 " border-radius: 5px;\n" |
| 366 " padding: 0px;\n" | 366 " padding: 0px;\n" |
| 367 "}" | 367 "}\n" |
| 368 ".pathbar-button-inactive {\n" | |
| 369 " color: alpha(currentColor, 0.5);" | |
| 370 "}\n" | |
| 368 ".ui_test {\n" | 371 ".ui_test {\n" |
| 369 " background-color: red;\n" | 372 " background-color: red;\n" |
| 370 "}\n" | 373 "}\n" |
| 371 ".ui_label_title {\n" | 374 ".ui_label_title {\n" |
| 372 " font-weight: bold;\n" | 375 " font-weight: bold;\n" |
