1 //#include materials.obtheme
18 style regular_window {
26 box (0, 0, 0) to (client.width, client.height, 0)
36 anchor(0, -font.height + 5, 0)
39 box (0, 0, 0) to (client.width, font.height + 5, 0)
45 box (client.width / 4, font.height + 5, 0) to (3*client.width / 4, font.height + 5, 0)
52 anchor(client.width - 20, -10, 0)
55 box (0, 0, 0) to (10, 10, 0)
62 anchor(client.width - 40, -10, 0)
65 box (0, 0, 0) to (10, 10, 0)
73 box (0, 0, 0) to (client.width, 10, 0)
76 anchor(0, client.height, 0)
81 anchor(0, client.height, 0)
85 box (0, 0, 0) to (30, 10, 0)
92 anchor(client.width - 30, client.height, 0)
96 box (0, 0, 0) to (30, 10, 0)