3 WindowTitleFont = "-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*";
4 MenuTitleFont = "-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*";
5 MenuTextFont = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*";
6 IconTitleFont = "-*-helvetica-medium-r-normal-*-8-*-*-*-*-*-*-*";
7 ClipTitleFont = "-*-helvetica-bold-r-normal-*-10-*-*-*-*-*-*-*";
8 DisplayFont = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*";
9 HighlightColor = white;
10 HighlightTextColor = black;
11 ClipTitleColor = "rgb:00/b7/f7";
12 CClipTitleColor = "rgb:00/61/81";
15 UTitleColor = "rgb:79/96/cf";
24 PTitleBack = (hgradient, "rgb:08/18/38", "rgb:28/3c/49");
33 MenuTitleColor = white;
34 MenuTextColor = black;
35 MenuDisabledColor = gray;
58 WorkspaceBack = (tpixmap, BlueWaves.jpeg, "rgb:20/24/4a");