This file is indexed.

/usr/share/icewm/themes/aeteria/menubutton.theme is in icewm-themes 1.2.26-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
139
140
141
142
143
144
145
146
147
148
149
# aeteria icewm theme 
# version 1.1
# licensed under GPL
# (c) by Micha³ Szota <michal@k.pl>

ThemeDescription="Aeteria_default/1.0.7"
ThemeAuthor="Micha³ Szota <michal@k.pl>"
Look=metal

# BACKGROUND
# suggested background color for you, pixmap haters
# DesktopBackgroundColor="#72866a"
# another pixmaps included are: aed-1024.jpg, aed-1152.jpg,
# aed-1280.jpg and aed-tile.jpg
DesktopBackgroundImage="aed-800.jpg"

# FONT
# default: lucida 
TitleFontName="-*-lucida-medium-r-*-*-12-*-*-*-*-*-*-*"
MenuFontName="-*-lucida-medium-r-*-*-10-*-*-*-*-*-*-*"
	MinimizedWindowFontName="-*-lucida-medium-r-*-*-10-*-*-*-*-*-*-*"
ActiveButtonFontName="-*-lucida-medium-r-*-*-10-*-*-*-*-*-*-*"
NormalButtonFontName="-*-lucida-medium-r-*-*-10-*-*-*-*-*-*-*"
QuickSwitchFontName="-*-lucida-medium-r-*-*-10-*-*-*-*-*-*-*"
ListBoxFontName="-*-lucida-medium-r-*-*-10-*-*-*-*-*-*-*"
StatusFontName="-*-lucida-medium-r-*-*-10-*-*-*-*-*-*-*"
ToolTipFontName="-*-lucida-medium-r-*-*-10-*-*-*-*-*-*-*"
ActiveTaskBarFontName="-*-lucida-medium-r-*-*-10-*-*-*-*-*-*-*"
NormalTaskBarFontName="-*-lucida-medium-r-*-*-10-*-*-*-*-*-*-*"
ClockFontName="-*-lucida-bold-r-*-*-10-*-*-*-*-*-*-*"

# uncomment these to set font to helvetica
#TitleFontName="-*-helvetica-medium-r-*-*-12-*-*-*-*-*-*-*"
#MenuFontName="-*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*"
#MinimizedWindowFontName="-*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*"
#ActiveButtonFontName="-*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*"
#NormalButtonFontName="-*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*"
#QuickSwitchFontName="-*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*"
#ListBoxFontName="-*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*"
#StatusFontName="-*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*"
#ToolTipFontName="-*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*"
#ActiveTaskBarFontName="-*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*"
#NormalTaskBarFontName="-*-helvetica-medium-r-*-*-10-*-*-*-*-*-*-*"
#ClockFontName="-*-helvetica-bold-r-*-*-10-*-*-*-*-*-*-*"

# TASKBAR
# if you want to have this overbloat^W^W double-sized taskbar,
# uncomment this:
# TaskBarDoubleHeight=1

ShowMenuButtonIcon=0
MenuMouseTracking=1 

TitleButtonsSupported="xmis"
TitleButtonsLeft="s"
TitleButtonsRight="xmi"

TitleBarHeight=22
TitleBarCentered=1

BorderSizeX=4
BorderSizeY=2
CornerSizeX=16
CornerSizeY=32
DlgBorderSizeX=1
DlgBorderSizeY=1

ColorNormalBorder="#000000"
ColorActiveBorder="#000000"

ColorActiveTitleBar="#CCCCCC"
ColorNormalTitleBar="#EEEEEE"
ColorActiveTitleBarText="#FFFFFF"
ColorNormalTitleBarText="#EEEEEE"

ColorNormalButton="#004000"
ColorNormalButtonText="#FFFFFF"
ColorActiveButton="#007000"
ColorActiveButtonText="#00FF00"
ColorDialog="#000000"

ColorNormalMenu="#000000"
ColorActiveMenuItem="#007000"
ColorNormalMenuItemText="#FFFFFF"
ColorActiveMenuItemText="#00FF00"
ColorDisabledMenuItemText="#408040"

ColorNormalMinimizedWindow="#000000"
ColorNormalMinimizedWindowText="#FFFFFF"
ColorActiveMinimizedWindow="#007000"
ColorActiveMinimizedWindowText="#00FF00"

# slider

ColorScrollBar="#007000"
ColorScrollBarSlider="#00A000"
ColorScrollBarButton="#000000"
ColorScrollBarButtonArrow="#00EE00"

# listbox

ColorListBox="#000000"
ColorListBoxText="#FFFFFF"
ColorListBoxSelection="#007000"
ColorListBoxSelectionText="#00FF00"

# move / size indicator

ColorMoveSizeStatus="#006000"
ColorMoveSizeStatusText="#EEFFEE"

ColorToolTip="#336333"
ColorToolTipText="#FFFFFF"

# taskbar

ColorDefaultTaskBar="#000000"
ColorNormalTaskBarApp="#004400"
ColorNormalTaskBarAppText="#CCCCCC"
ColorActiveTaskBarApp="#007000"
ColorActiveTaskBarAppText="#FFFFFF"
ColorMinimizedTaskBarApp="#000000"
ColorMinimizedTaskBarAppText="#00AA00"

# input

ColorInput="#000000"
ColorInputText="#FFFFFF"
ColorInputSelection="#00FF00"
ColorInputSelectionText="#000000"

# label

ColorLabel="#000000"
ColorLabelText="#EEFFEE"

# monitors

TaskBarClockLeds=0
ColorClock="#000000"
ColorClockText="#EEFFEE"

ColorCPUStatusUser="#00FF00"
ColorCPUStatusSystem="#55FF55"
ColorCPUStatusNice="#BBFFBB"
ColorCPUStatusIdle="#000000"
ColorNetSend="#BBFFBB"
ColorNetReceive="#55FF55"
ColorNetIdle="#000000"