ui/gtk/toolkit.c

changeset 48
ae61523bce20
parent 45
ab71409644b0
equal deleted inserted replaced
47:3ac472683246 48:ae61523bce20
339 " background-color: #00000000;" 339 " background-color: #00000000;"
340 " border-top-left-radius: 6px;" 340 " border-top-left-radius: 6px;"
341 " border-bottom-left-radius: 6px;" 341 " border-bottom-left-radius: 6px;"
342 " border-top-right-radius: 0px;" 342 " border-top-right-radius: 0px;"
343 " border-bottom-right-radius: 0px;" 343 " border-bottom-right-radius: 0px;"
344 "}" 344 "}\n"
345 ".pathbar-button-inactive {\n"
346 " color: alpha(currentColor, 0.5);"
347 "}\n"
345 ; 348 ;
346 349
347 #elif GTK_MAJOR_VERSION == 3 350 #elif GTK_MAJOR_VERSION == 3
348 static const char *ui_gtk_css = 351 static const char *ui_gtk_css =
349 "#path-textfield-box {" 352 "#path-textfield-box {"

mercurial