theme 7.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294
  1. $font = "Liberation Sans Bold-10Left#XFT"
  2. $font_title = "XFT#verdana:size=10:weight=bold#1#Center"
  3. PDecor {
  4. Decor = "Default" {
  5. Title {
  6. Height = "25"
  7. Pad = "2 5 0 0"
  8. Focused = "Image title.png"
  9. Unfocused = "Image title.png"
  10. Tab {
  11. Focused = "Image title.png"
  12. FocusedSelected = "Image title.png"
  13. Unfocused = "Image title.png"
  14. UnfocusedSelected = "Image title.png"
  15. }
  16. Separator {
  17. Focused = "Image tab-separator.png"
  18. Unfocused = "Image tab-separator.png"
  19. }
  20. Font {
  21. Focused = "$font_title"
  22. }
  23. FontColor {
  24. Focused = "#878787"
  25. FocusedSelected = "#000000"
  26. Unfocused = "#a8acad"
  27. UnfocusedSelected = "#a8acad"
  28. }
  29. Buttons {
  30. Left {
  31. Focused = "Image button.png"
  32. Unfocused = "Image button_unfocus.png"
  33. Hoover = "Image button_hover.png"
  34. Pressed = "Image button_press.png"
  35. Button = "1" { Actions = "Close" }
  36. Button = "3" { Actions = "Kill" }
  37. }
  38. Left {
  39. Focused = "Image button.png"
  40. Unfocused = "Image button_unfocus.png"
  41. Hoover = "Image button_hover.png"
  42. Pressed = "Image button_press.png"
  43. Button = "1" { Actions = "Toggle Maximized 1 1" }
  44. }
  45. Left {
  46. Focused = "Image button.png"
  47. Unfocused = "Image button_unfocus.png"
  48. Hoover = "Image button_hover.png"
  49. Pressed = "Image button_press.png"
  50. Button = "1" { Actions = "Set Iconified" }
  51. }
  52. Right {
  53. Focused = "Image pus.png"
  54. Unfocused = "Image pus.png"
  55. Hoover = "Image pus_hover.png"
  56. Pressed = "Image pus_press.png"
  57. Button = "1" { Actions = "Toggle Shaded" }
  58. }
  59. }
  60. Border {
  61. Focused {
  62. TopLeft = "Image top-left.png"
  63. Top = "Image top-border.png"
  64. TopRight = "Image top-right.png"
  65. Left = "Image left-border.png"
  66. Right = "Image right-border.png"
  67. BottomLeft = "Image bottom-left.png"
  68. Bottom = "Image bottom-border.png"
  69. BottomRight = "Image bottom-right.png"
  70. }
  71. Unfocused {
  72. TopLeft = "Image top-left.png"
  73. Top = "Image top-border.png"
  74. TopRight = "Image top-right.png"
  75. Left = "Image left-border.png"
  76. Right = "Image right-border.png"
  77. BottomLeft = "Image bottom-left.png"
  78. Bottom = "Image bottom-border.png"
  79. BottomRight = "Image bottom-right.png"
  80. }
  81. }
  82. }
  83. }
  84. Decor = "Menu" {
  85. Title {
  86. Height = "25"
  87. Pad = "2 0 0 0"
  88. Focused = "Image title.png"
  89. Unfocused = "Image title.png"
  90. Tab {
  91. Focused = "Image title.png"
  92. FocusedSelected = "Image title.png"
  93. Unfocused = "Image title.png"
  94. UnfocusedSelected = "Image title.png"
  95. }
  96. Separator {
  97. Focused = "Image top-left.png"
  98. Unfocused = "Image top-left.png"
  99. }
  100. Font {
  101. Focused = "$font_title"
  102. }
  103. FontColor {
  104. Focused = "#a8acad"
  105. FocusedSelected = "#000000"
  106. Unfocused = "#a8acad"
  107. UnfocusedSelected = "#a8acad"
  108. }
  109. Buttons {
  110. }
  111. Border {
  112. Focused {
  113. TopLeft = "Image top-left.png"
  114. Top = "Image top-border.png"
  115. TopRight = "Image top-right.png"
  116. Left = "Image left-border.png"
  117. Right = "Image right-border.png"
  118. BottomLeft = "Image bottom-left.png"
  119. Bottom = "Image menu-bottom.png"
  120. BottomRight = "Image bottom-right.png"
  121. }
  122. Unfocused {
  123. TopLeft = "Image top-left.png"
  124. Top = "Image top-border.png"
  125. TopRight = "Image top-right.png"
  126. Left = "Image left-border.png"
  127. Right = "Image right-border.png"
  128. BottomLeft = "Image bottom-left.png"
  129. Bottom = "Image menu-bottom.png"
  130. BottomRight = "Image bottom-right.png"
  131. }
  132. }
  133. }
  134. }
  135. Decor = "Titlebarless" {
  136. Title {
  137. Focused = "Empty"
  138. Unfocused = "Empty"
  139. Tab {
  140. Focused = "Empty"
  141. FocusedSelected = "Empty"
  142. Unfocused = "Empty"
  143. UnfocusedSelected = "Empty"
  144. }
  145. Separator {
  146. Focused = "Empty"
  147. Unfocused = "Empty"
  148. }
  149. Font {
  150. Focused = "Empty"
  151. }
  152. FontColor {
  153. Focused = "Empty"
  154. FocusedSelected = "Empty"
  155. Unfocused = "Empty"
  156. UnfocusedSelected = "Empty"
  157. }
  158. Border {
  159. Focused {
  160. TopLeft = "Empty"
  161. Top = "Empty"
  162. TopRight = "Empty"
  163. Left = "Empty"
  164. Right = "Empty"
  165. BottomLeft = "Empty"
  166. Bottom = "Empty"
  167. BottomRight = "Empty"
  168. }
  169. Unfocused {
  170. TopLeft = "Empty"
  171. Top = "Empty"
  172. TopRight = "Empty"
  173. Left = "Empty"
  174. Right = "Empty"
  175. BottomLeft = "Empty"
  176. Bottom = "Empty"
  177. BottomRight = "Empty"
  178. }
  179. }
  180. }
  181. }
  182. Decor = "Statuswindow" {
  183. Title {
  184. Height = "0"
  185. Pad = "0 0 0 0"
  186. Focused = "Empty"
  187. Unfocused = "Empty"
  188. Tab {
  189. Focused = "Empty"
  190. FocusedSelected = "Empty"
  191. Unfocused = "Empty"
  192. UnfocusedSelected = "Empty"
  193. }
  194. Separator {
  195. Focused = "Empty"
  196. Unfocused = "Empty"
  197. }
  198. Font {
  199. Focused = "Empty"
  200. }
  201. FontColor {
  202. Focused = "Empty"
  203. FocusedSelected = "Empty"
  204. Unfocused = "Empty"
  205. UnfocusedSelected = "Empty"
  206. }
  207. Buttons {
  208. }
  209. Border {
  210. Focused {
  211. TopLeft = "Empty"
  212. Top = "Empty"
  213. TopRight = "Empty"
  214. Left = "Empty"
  215. Right = "Empty"
  216. BottomLeft = "Empty"
  217. Bottom = "Empty"
  218. BottomRight = "Empty"
  219. }
  220. Unfocused {
  221. TopLeft = "Empty"
  222. Top = "Empty"
  223. TopRight = "Empty"
  224. Left = "Empty"
  225. Right = "Empty"
  226. BottomLeft = "Empty"
  227. Bottom = "Empty"
  228. BottomRight = "Empty"
  229. }
  230. }
  231. }
  232. }
  233. }
  234. Harbour {
  235. Texture = "Solid #cccccc"
  236. }
  237. Menu {
  238. Pad = "0 0 4 4"
  239. Focused {
  240. Font = "$font"
  241. Background = "Solid #cccccc"
  242. Item = "Empty"
  243. Text = "#888888"
  244. Separator = "Image menuline.png#Scaled"
  245. Arrow = "Empty"
  246. }
  247. Unfocused {
  248. Font = "$font"
  249. Background = "Solid #cccccc"
  250. Item = "Empty"
  251. Text = "#919191"
  252. Separator = "Image menuline.png#Scaled"
  253. Arrow = "Empty"
  254. }
  255. Selected {
  256. Font = "$font"
  257. Background = "Solid #ffffff"
  258. Item = "Empty"
  259. Text = "#000000"
  260. Arrow = "Empty"
  261. }
  262. }
  263. CmdDialog {
  264. Font = "$font"
  265. Texture = "Solid #ffffff"
  266. Text = "#000000"
  267. Pad = "3 0 1 10"
  268. }
  269. Status {
  270. Font = "$font"
  271. Texture = "Solid #cccccc"
  272. Text = "#000000"
  273. Pad = "2 2 10 10"
  274. }