This file is indexed.

/usr/share/WindowMaker/Themes/Blau.style is in wmaker-common 0.95.5-2ubuntu1.

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
{
  MenuTitleBack = (mvgradient, "#18191f", "#474967", "#413b6d");
  FTitleColor = "#ffffff";
  MenuDisabledColor = "#999999";
  IconTitleBack = "#18191f";
  FTitleBack = (
    mdgradient,
    "#18191f",
    "#939abd",
    "#616185",
    "#616185",
    "#5f5f83",
    "#555575",
    "#59597a",
    "#555575",
    "#939abd"
  );
  ClipTitleFont = "lucida:pixelsize=10";
  ClipTitleColor = white;
  IconTitleFont = "Lucida:slant=0:weight=100:width=100:pixelsize=10";
  HighlightColor = "#ffffff";
  MenuTextBack = (mhgradient, "#384246", "#707080", "#4a4a61");
  WindowTitleFont = "Courier:slant=0:weight=80:width=100:pixelsize=16";
  LargeDisplayFont = "Helvetica:slant=0:weight=80:width=100:pixelsize=48";
  CClipTitleColor = gray60;
  MenuStyle = flat;
  ResizebarBack = (solid, "#989aa6");
  DisplayFont = "lucida:pixelsize=12";
  IconTitleColor = white;
  TitleJustify = center;
  MenuTextColor = "#ffffff";
  MenuTextExtendSpace = 0;
  IconBack = (
    mdgradient,
    gray40,
    "#6d6aa4",
    "#564e8c",
    "#41436c",
    "#464771",
    "#595090"
  );
  PTitleBack = (mhgradient, "#5a5c66", "rgb:70/72/7e", "rgb:45/47/4e");
  MenuTitleColor = "#e8fd00";
  UTitleColor = "#333333";
  MenuTitleFont = "FreeSans:slant=0:weight=200:width=100:pixelsize=18";
  UTitleBack = (mhgradient, "#989aa6", "#9fa1b5", "#86879b");
  WindowTitleExtendSpace = 0;
  NormalCursor = (builtin, left_ptr);
  PTitleColor = "#ffffff";
  MenuTitleExtendSpace = 0;
  MenuTextFont = "sans serif:slant=0:weight=100:width=100:pixelsize=15";
  WorkspaceBack = (solid, "#505075");
  HighlightTextColor = "#000000";
}