This file is indexed.

/usr/share/themes/Opensaw/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
!#this is a really bad attempt at back porting sawbox (sawfish etc) to it's sort of native home
!#it's the best i think i could do, soory to tigert for ruining a thing of simple elegance.

menu.title.bg: raised gradient vertical
menu.title.bg.color: #8f8fb3
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 border bevel1
menu.items.active.bg.color: #8f8fb3
menu.items.active.bg.colorTo: #5a71c5
menu.items.active.text.color: #ffffff
menu.items.active.bg.border.color: #f6f6f6
menu.bullet.image.color: #000000
menu.bullet.selected.image.color: #ffffff

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

!! focused window settings
window.active.client.color: #bec1d6

window.active.title.bg: raised gradient vertical bevel1
window.active.title.bg.color: #8f8fb3
window.active.title.bg.colorTo: #58586e
window.active.title.bg.border.color: #000000
window.active.title.bg.interlace.color: #767991

window.active.handle.bg: raised gradient vertical
window.active.handle.bg.color: #8f8fb3
window.active.handle.bg.colorTo: #39658b
window.active.handle.bg.border.color: #000000

window.active.grip.bg:  raised gradient vertical
window.active.grip.bg.color: #e6e2de
window.active.grip.bg.colorTo: #737573
window.active.grip.bg.border.color: #000000

window.active.label.bg: parentrelative
window.active.label.bg.color: #8f8fb3
window.active.label.bg.colorTo: #ccccdd
window.active.label.bg.border.color: #000000
window.active.label.text.color: #ffffff

window.active.button.unpressed.bg: flat border gradient vertical
window.active.button.unpressed.bg.color: #fdfdfd
window.active.button.unpressed.bg.colorTo: #7e7d6f
window.active.button.unpressed.bg.border.color: #000000
window.active.button.unpressed.image.color: #000000

window.active.button.pressed.bg: flat border
window.active.button.pressed.bg.color: #d5d5d5
window.active.button.pressed.bg.colorTo: #737573
window.active.button.pressed.bg.border.color: #353536
window.active.button.pressed.image.color: #000000

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

window.inactive.title.bg: raised gradient vertical
window.inactive.title.bg.color: #9e9e9e
window.inactive.title.bg.colorTo: #6d6d6d
window.active.title.bg.interlace.color: #505050

window.inactive.handle.bg: raised
window.inactive.handle.bg.color: #9e9e9e
window.inactive.handle.bg.colorTo: #6d6d6d
window.inactive.handle.bg.border.color: #000000

window.inactive.grip.bg:  raised gradient vertical
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: #ffffff

window.inactive.button.unpressed.bg: flat border
window.inactive.button.unpressed.bg.color: #e6e2de
window.inactive.button.unpressed.bg.colorTo: #737573
window.inactive.button.unpressed.bg.border.color: #353536
window.inactive.button.unpressed.image.color: #000000

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: #000000
#
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: #000000

window.active.button.toggled.bg: flat border gradient vertical
window.active.button.toggled.bg.color: #f7f7f7
window.active.button.toggled.bg.colorTo: #b2b2b2
window.active.button.toggled.bg.border.color: #000000
window.active.button.toggled.image.color: #000000

window.inactive.button.toggled.bg: flat border
window.inactive.button.toggled.bg.color: #e6e2de
window.inactive.button.toggled.bg.colorTo: #737573
window.inactive.button.toggled.bg.border.color: #353536
window.inactive.button.toggled.image.color: #000000
!! 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:pixelsize=9
menu.items.font: Bitstream Vera Sans:pixelsize=10
#menu.items.font: Bitstream Vera Sans:pixelsize=11
menu.title.text.font: Bitstream Vera Sans:pixelsize=9