1 //#include materials.obtheme
18 style regular_window {
26 box (0, 0, 0) to (client.width, client.height, 0)
36 box (0, 0, 0) to (client.width, font.height + 5, 0)
42 box (client.width / 4, font.height + 5, 0) to (3*client.width / 4, font.height + 5, 0)
49 box (0, 0, 0) to (10, 10, 0)
56 box (0, 0, 0) to (10, 10, 0)
64 box (0, 0, 0) to (client.width, 10, 0)
67 anchor(0, client.height, 0)
72 anchor(0, client.height, 0)
76 box (0, 0, 0) to (30, 10, 0)
83 anchor(client.width - 30, client.height, 0)
87 box (0, 0, 0) to (30, 10, 0)