This file is indexed.

/usr/share/themes/Oldred/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
!! Menu settings

menu.title.bg: raised gradient vertical bevel1
menu.title.bg.color: #e9a812
menu.title.bg.colorTo: #edbf5f
menu.title.bg.border.color: #000000
menu.title.text.color: #000000
menu.title.text.justify: center

menu.items.bg: raised solid bevel1
menu.items.bg.color: #f7f7f7
menu.items.text.color: #000000
menu.items.justify: left
menu.items.disabled.text.color: #565248

menu.items.active.bg: flat border solid bevel1
menu.items.active.bg.color: #ecb94a
menu.items.active.text.color: #000000
menu.items.active.bg.border.color: #e5a409
menu.bullet.image.color: #000000
menu.bullet.selected.image.color: #ffffff

!! General window settings
window.label.text.justify: left

!! focused window settings
window.active.client.color: #787a95

window.active.title.bg: raised gradient vertical
window.active.title.bg.color: #884631
window.active.title.bg.colorTo: #990000

window.active.handle.bg: raised solid
window.active.handle.bg.color: #884631
window.active.handle.bg.colorTo: #edbf5f

window.active.grip.bg: raised gradient vertical
window.active.grip.bg.color: #eae8e3
window.active.grip.bg.colorTo: #990000

window.active.label.bg: parentrelative
window.active.label.text.color: #ffffff

window.active.button.unpressed.bg: flat border 
window.active.button.unpressed.bg.color: #eae8e3
window.active.button.unpressed.bg.colorTo: #990000
window.active.button.unpressed.image.color: #000000
window.active.button.unpressed.bg.border.color: #000000

window.active.button.pressed.bg: flat border 
window.active.button.pressed.bg.color: #e5a409
window.active.button.pressed.bg.colorTo: #7399cd
window.active.button.pressed.image.color: #000000
window.active.button.pressed.bg.border.color: #000000

!! unfocused window settings
!! unfocused window settings
window.inactive.client.color: #f7f7f7

window.inactive.title.bg: raised gradient vertical
window.inactive.title.bg.color: #bab5ab
window.inactive.title.bg.colorTo: #bab5ab

window.inactive.handle.bg:  raised solid
window.inactive.handle.bg.color: #bab5ab
window.inactive.handle.bg.colorTo: #7eee8cf

window.inactive.grip.bg: raised solid
window.inactive.grip.bg.color: #eae8e3
window.inactive.grip.bg.colorTo: #eee8cf

window.inactive.label.bg: parentrelative
window.inactive.label.text.color: #eae8e3

window.inactive.button.unpressed.bg: flat border solid 
window.inactive.button.unpressed.bg.color: #eae8e3
window.inactive.button.unpressed.bg.colorTo: #f7f7f7
window.inactive.button.unpressed.image.color:  #333333
window.inactive.button.unpressed.bg.border.color: #333333

window.inactive.button.pressed.bg: flat border solid
window.inactive.button.pressed.bg.color: #c5c2c5
window.inactive.button.pressed.bg.colorTo: #000000
window.inactive.button.pressed.bg.border.color: #7b7d7b
window.inactive.button.pressed.image.color: #dddddd

!#
window.inactive.button.disabled.bg: flat border solid 
window.inactive.button.disabled.bg.color: #e5dcba
window.inactive.button.disabled.bg.colorTo: #f7f7f7
window.inactive.button.disabled.image.color:  #e5dcba
window.inactive.button.disabled.bg.border.color: #333333
!#
window.active.button.disabled.bg: flat border solid 
window.active.button.disabled.bg.color: #ecb94a
window.active.button.disabled.bg.colorTo: #f7f7f7
window.active.button.disabled.image.color:  #ecb94a
window.active.button.disabled.bg.border.color: #333333

!# toggled
window.active.button.toggled.bg: flat border 
window.active.button.toggled.bg.color: #ecb94a
window.active.button.toggled.bg.colorTo: #7399cd
window.active.button.toggled.image.color: #000000
window.active.button.toggled.bg.border.color: #000000

window.inactive.button.toggled.bg: flat border solid 
window.inactive.button.toggled.bg.color: #e5dcba
window.inactive.button.toggled.bg.colorTo: #f7f7f7
window.inactive.button.toggled.image.color:  #333333
window.inactive.button.toggled.bg.border.color: #333333

window.inactive.client.color: #f6f6f6
window.active.client.color: #f6f6f6

!! Global width settings
borderWidth: 1
padding.width: 1
window.handle.width: 4
window.client.padding.width: 0
menu.overlap: 8

!! Miscellaneous settings
border.color: #222222

!! font me!
window.active.label.text.font: Bitstream Vera Sans:pixelsize=11
menu.items.font: Bitstream Vera Sans:pixelsize=11
menu.title.text.font: Bitstream Vera Sans:pixelsize=11