5 style.credits: probably stole from some gnome metacity theme or something
6 style.comments: made with stylebox
10 menu.title: flat gradient vertical bevel1
11 menu.title.color: #5a6dc5
12 menu.title.colorTo: #4a59a5
13 menu.title.textColor: #fcfcfe
14 menu.title.justify: center
16 menu.frame: raised solid bevel1
17 menu.frame.color: #e6e6e6
18 menu.frame.colorTo: #000000
19 menu.frame.textColor: #000000
20 menu.frame.justify: left
21 menu.frame.disableColor: #ececec
23 menu.hilite: flat gradient vertical bevel1
24 menu.hilite.color: #4a5194
25 menu.hilite.colorTo: #5a71c5
26 menu.hilite.textColor: #ffffff
29 menu.bullet.position: right
31 !! General window settings
32 window.button.pressed: flat solid bevel1
33 window.button.pressed.color: #000000
34 window.button.pressed.colorTo: #000000
35 window.justify: center
37 !! focused window settings
38 window.frame.focusColor: #000000
40 window.title.focus: flat gradient vertical bevel1
41 window.title.focus.color: #6375ce
42 window.title.focus.colorTo: #4a5194
44 window.handle.focus: flat gradient vertical bevel1
45 window.handle.focus.color: #6375ce
46 window.handle.focus.colorTo: #4a5194
48 window.grip.focus: flat gradient vertical bevel1
49 window.grip.focus.color: #6375ce
50 window.grip.focus.colorTo: #4a5194
52 window.label.focus: parentrelative
53 window.label.focus.color: #000000
54 window.label.focus.colorTo: #000000
55 window.label.focus.textColor: #ffffff
57 window.button.focus: parentrelative
58 window.button.focus.color: #000000
59 window.button.focus.colorTo: #000000
60 window.button.focus.picColor: #d6d7ef
62 window.button.pressed.focus: sunken solid bevel1
63 window.button.pressed.focus.color: #4c59a6
64 window.button.pressed.focus.colorTo: #000000
66 !! unfocused window settings
67 window.frame.unfocusColor: #000000
69 window.title.unfocus: flat gradient vertical bevel1
70 window.title.unfocus.color: #e1e1e1
71 window.title.unfocus.colorTo: #a5a2a5
73 window.handle.unfocus: flat gradient vertical bevel1
74 window.handle.unfocus.color: #e6e6e6
75 window.handle.unfocus.colorTo: #cdcac7
77 window.grip.unfocus: flat gradient vertical bevel1
78 window.grip.unfocus.color: #e6e6e6
79 window.grip.unfocus.colorTo: #cdcac7
81 window.label.unfocus: parentrelative
82 window.label.unfocus.textColor: #ffffff
84 window.button.unfocus: parentrelative
85 window.button.unfocus.picColor: #ffffff
87 window.button.pressed.unfocus: sunken solidbevel1
88 window.button.pressed.unfocus.color: #cdcac7
89 window.button.pressed.unfocus.colorTo: #000000
92 window.button.disabled.focus: flat
93 window.button.disabled.focus.color: #990000
94 window.button.disabled.focus.colorTo: #990000
95 window.button.disabled.focus.picColor: #ffffff
96 #window.button.disabled.focus.borderColor: #83aede
98 window.button.disabled.unfocus: flat
99 window.button.disabled.unfocus.color: #d5dad5
100 window.button.disabled.unfocus.colorTo: #b4b6b4
101 window.button.disabled.unfocus.picColor: #7b7d7b
102 #window.button.disabled.unfocus.borderColor: #7b7d7b
105 !! Global width settings
112 !! Miscellaneous settings
116 window.focus.font: Bitstream Vera Sans:bold:pixelsize=9:shadow=y:shadowtint=90
117 menu.frame.font: National First Font:pixelsize=15
118 menu.title.font: Bitstream Vera Sans:bold:pixelsize=10