/usr/share/themes/Planton/openbox-3/themerc is in openbox-themes 1.0.2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 | !! Menu settings
menu.title.bg: raised gradient vertical
menu.title.bg.color: #93aac6
menu.title.bg.colorTo: #39658b
menu.title.bg.border.color: #000000
menu.title.text.color: #ffffff
menu.title.text.justify: center
menu.items.bg: raised solid bevel1
menu.items.bg.color: #f6f6f6
menu.items.text.color: #000000
menu.items.justify: left
menu.items.disabled.text.color: #222222
menu.items.active.bg: flat solid bevel1
menu.items.active.bg.color: #3971ac
menu.items.active.bg.colorTo: #5a71c5
menu.items.active.text.color: #ffffff
menu.bullet.image.color: #000000
menu.bullet.selected.image.color: #ffffff
!! General window settings
window.active.button.pressed.bg: flat solid bevel1
window.inactive.button.pressed.bg: flat solid bevel1
window.button.pressed.bg.color: #000000
window.button.pressed.bg.colorTo: #000000
window.button.pressed.bg.border.color: #000000
window.label.text.justify: center
!! focused window settings
window.active.client.color: #f7f7f7
window.active.title.bg: raised gradient vertical
window.active.title.bg.color: #93aac6
!# this was the old colour #9cb6d5
window.active.title.bg.colorTo: #39658b
window.active.title.bg.border.color: #000000
window.active.handle.bg: raised gradient vertical
window.active.handle.bg.color: #e6e2de
window.active.handle.bg.colorTo: #737573
window.active.handle.bg.border.color: #000000
window.active.grip.bg: raised gradient vertical
window.active.grip.bg.color: #9cb6d5
window.active.grip.bg.colorTo: #39658b
window.active.grip.bg.border.color: #000000
window.active.label.bg: parentrelative
window.active.label.bg.color: #bbbbcc
window.active.label.bg.colorTo: #ccccdd
window.active.label.bg.border.color: #000000
window.active.label.text.color: #ffffff
window.active.button.unpressed.bg: parentrelative
window.active.button.unpressed.bg.color: #bbbbcc
window.active.button.unpressed.bg.colorTo: #ccccdd
window.active.button.unpressed.bg.border.color: #7a8093
window.active.button.unpressed.image.color: #ffffff
window.active.button.pressed.bg: sunken solid
window.active.button.pressed.bg.color: #9cb6d5
window.active.button.pressed.bg.colorTo: #39658b
window.active.button.pressed.bg.border.color: #000000
!! unfocused window settings
window.inactive.client.color: #f7f7f7
window.inactive.title.bg: raised gradient vertical
window.inactive.title.bg.color: #dedede
window.inactive.title.bg.colorTo: #c9c9c9
window.inactive.title.bg.border.color: #222222
window.inactive.handle.bg: raised
window.inactive.handle.bg.color: #e6e2de
window.inactive.handle.bg.colorTo: #737573
window.inactive.handle.bg.border.color: #000000
window.inactive.grip.bg: raised
window.inactive.grip.bg.color: #e6e2de
window.inactive.grip.bg.colorTo: #737573
window.inactive.grip.bg.border.color: #000000
window.inactive.label.bg: parentrelative
window.inactive.label.bg.color: #000000
window.inactive.label.bg.colorTo: #000000
window.inactive.label.bg.border.color: #000000
window.inactive.label.text.color: #222222
window.inactive.button.unpressed.bg: parentrelative
window.inactive.button.unpressed.bg.color: #000000
window.inactive.button.unpressed.bg.colorTo: #000000
window.inactive.button.unpressed.bg.border.color: #000000
window.inactive.button.unpressed.image.color: #222222
window.inactive.button.pressed.bg: flat gradient vertical bevel1
window.inactive.button.pressed.bg.color: #e6e2de
window.inactive.button.pressed.bg.colorTo: #737573
window.inactive.button.pressed.bg.border.color: #000000
!#
window.active.button.disabled.bg: flat border
window.active.button.disabled.bg.color: #990000
window.active.button.disabled.bg.colorTo: #990000
window.active.button.disabled.image.color: #ffffff
window.active.button.disabled.bg.border.color: #83aede
!#
window.inactive.button.disabled.bg: flat border gradient vertical
window.inactive.button.disabled.bg.color: #d5dad5
window.inactive.button.disabled.bg.colorTo: #b4b6b4
window.inactive.button.disabled.image.color: #7b7d7b
window.inactive.button.disabled.bg.border.color: #7b7d7b
window.active.button.toggled.bg: parentrelative
window.active.button.toggled.bg.color: #bbbbcc
window.active.button.toggled.bg.colorTo: #ccccdd
window.active.button.toggled.bg.border.color: #7a8093
window.active.button.toggled.image.color: #ffffff
window.inactive.button.toggled.bg: parentrelative
window.inactive.button.toggled.bg.color: #000000
window.inactive.button.toggled.bg.colorTo: #000000
window.inactive.button.toggled.bg.border.color: #000000
window.inactive.button.toggled.image.color: #222222
!! Global width settings
borderWidth: 1
padding.width: 1
window.handle.width: 4
window.client.padding.width: 0
border.color: #24272f
menu.overlap: 8
!! font me!
window.active.label.text.font:Bitstream Vera Sans:bold:pixelsize=9
menu.items.font: Bitstream Vera Sans:pixelsize=11
menu.title.text.font: Borzoi:pixelsize=10
|