HelenOS sources

ui_box_double     170 uspace/app/nav/panel.c 		bstyle = ui_box_double;
ui_box_double     759 uspace/lib/ui/src/paint.c 	case ui_box_double:
ui_box_double     804 uspace/lib/ui/src/paint.c 	case ui_box_double:
ui_box_double     443 uspace/lib/ui/src/wdecor.c 			    ui_box_double, wdecor->res->wnd_face_color);