Advertisement
Guest User

Untitled

a guest
May 26th, 2018
92
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 4.12 KB | None | 0 0
  1.  
  2. toolbar: flat
  3. toolbar.color: black
  4.  
  5. toolbar.height: 16
  6.  
  7. toolbar.button: parentrelative
  8. toolbar.button.picColor: lightgreen
  9.  
  10. toolbar.button.pressed: sunken solid
  11. toolbar.button.pressed.color: black
  12.  
  13. toolbar.clock: parentrelative
  14. toolbar.clock.textColor: lightgreen
  15.  
  16. toolbar.label: parentrelative
  17. toolbar.label.textColor: lightgreen
  18.  
  19. toolbar.windowLabel: parentrelative
  20. toolbar.windowLabel.textColor: lightgreen
  21.  
  22. toolbar.borderWidth: 1
  23. toolbar.borderColor: lightgreen
  24.  
  25.  
  26. toolbar.iconbar.focused.textColor: lightgreen
  27. toolbar.iconbar.focused.font: -*-terminus-bold-r-*-*-14-*-*-*-*-*-iso10646-*
  28. toolbar.iconbar.unfocused.textColor: lightgreen
  29.  
  30. toolbar.iconbar.borderWidth: 1
  31. toolbar.iconbar.borderColor: lightgreen
  32.  
  33.  
  34. menu.title: flat
  35. menu.title.color: black
  36. menu.title.textColor: lightgreen
  37. menu.title.font: -*-terminus-bold-r-*-*-14-*-*-*-*-*-iso10646-*
  38.  
  39. menu.borderWidth: 1
  40.  
  41. menu.frame: flat
  42. menu.frame.color: black
  43. menu.frame.textColor: lightgreen
  44.  
  45. menu.hilite: flat solid
  46. menu.hilite.color: lightgreen
  47. menu.hilite.textColor: black
  48.  
  49. menu.bullet: triangle
  50. menu.bullet.position: right
  51.  
  52. window.title.focus: flat
  53. window.title.focus.color: black
  54. window.title.height: 16
  55.  
  56. window.label.focus: parentrelative
  57. window.label.focus.textColor: lightgreen
  58. window.label.focus.font: -*-terminus-bold-r-*-*-14-*-*-*-*-*-iso10646-*
  59.  
  60. window.button.focus: flat
  61. window.button.focus.color: black
  62. window.button.focus.picColor: lightgreen
  63.  
  64. window.button.pressed: sunken solid
  65. window.button.pressed.color: black
  66. window.button.pressed.picColor: lightgreen
  67.  
  68. window.handle.focus: flat
  69. window.handle.focus.color: lightgreen
  70.  
  71. window.grip.focus: flat
  72. window.grip.focus.color: lightgreen
  73.  
  74. window.frame.focus: flat solid
  75. window.frame.focus.color: lightgreen
  76.  
  77. ! unfocused
  78. window.title.unfocus: flat
  79. window.title.unfocus.color: black
  80.  
  81. window.label.unfocus: parentrelative
  82. window.label.unfocus.textColor: lightgreen
  83.  
  84. window.handle.unfocus: flat
  85. window.handle.unfocus.color: lightgreen
  86.  
  87. window.grip.unfocus: flat
  88. window.grip.unfocus.color: lightgreen
  89.  
  90. window.frame.unfocus: flat solid
  91. window.frame.unfocus.color: lightgreen
  92.  
  93. window.button.unfocus: flat
  94. window.button.unfocus.color: black
  95. window.button.unfocus.picColor: lightgreen
  96.  
  97. window.tab.justify: Right
  98. window.tab.label.unfocus: Flat Solid
  99. window.tab.label.unfocus.color: black
  100. window.tab.label.unfocus.textColor: lightgreen
  101. window.tab.label.focus: Raised Solid
  102. window.tab.label.focus.color: black
  103. window.tab.label.focus.textColor: lightgreen
  104. window.tab.borderWidth: 1
  105. window.tab.borderColor: lightgreen
  106. window.tab.font: fixed
  107.  
  108. toolbar.justify: left
  109. window.justify: center
  110. menu.title.justify: center
  111. menu.frame.justify: left
  112.  
  113. borderColor: lightgreen
  114. borderWidth: 1
  115. bevelWidth: 0
  116. frameWidth: 1
  117. handleWidth: 1
  118. #slit.borderWidth: 1
  119. #slit.bevelWidth: 0
  120.  
  121.  
  122. background: flat
  123. background.color: black
  124.  
  125. *font: -*-terminus-medium-r-*-*-14-*-*-*-*-*-iso10646-*
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement