{
  LargeDisplayFont = "-*-helvetica-bold-r-normal-*-24-*-*-*-*-*-*-*";
  HighlightColor = "#ffffff";
  MenuTextExtendSpace = "-1";
  FTitleColor = "#ffffff";
  MenuTitleExtendSpace = "-1";
  MenuTextFont = "-adobe-helvetica-medium-r-normal-*-*-120-*-*-p-*-*";
  WorkspaceBack = (spixmap, debspace.jpg, gray20);
  UTitleBack = (hgradient, "rgb:38/58/79", "rgb:26/36/46");
  NormalCursor = (builtin, left_ptr);
  IconTitleFont = "-*-helvetica-medium-r-normal-*-8-*-*-*-*-*-*-*";
  PTitleBack = (hgradient, "rgb:18/38/59", black);
  MoveCursor = (bitmap, dot_move.xbm, dot_move_mask.xbm);
  WindowTitleFont = "-adobe-helvetica-bold-r-normal-*-*-120-*-*-p-*-*";
  UTitleColor = "#000000";
  MenuDisabledColor = "#616161";
  ClipTitleFont = "-adobe-helvetica-bold-r-normal-*-12-*-*-*-p-*-*";
  MenuStyle = flat;
  MenuTextBack = (cpixmap, menudebspace.jpg, "#000000");
  ResizeCursor = (bitmap, dot_resize.xbm, dot_resize_mask.xbm);
  PTitleColor = "#9e9a9e";
  IconBack = (tpixmap, icondebspace.jpg, "#615159");
  MenuTitleBack = (hgradient, "rgb:08/24/38", black);
  DisplayFont = "-*-helvetica-medium-r-normal-*-10-*-*-*-*-*-*-*";
  FTitleBack = (hgradient, "rgb:18/38/59", black);
  WindowTitleExtendSpace = "-1";
  TitleJustify = center;
  CClipTitleColor = white;
  ResizebarBack = (hgradient, "rgb:38/58/79", "rgb:26/36/46");
  MenuTextColor = "#ffffff";
  ClipTitleColor = white;
  IconTitleBack = "#0c1c2c";
  HighlightTextColor = "#000000";
  WaitCursor = (bitmap, dot_wait.xbm, dot_wait_mask.xbm);
  IconTitleColor = white;
  MenuTitleFont = "-adobe-helvetica-bold-r-normal-*-*-120-*-*-p-*-*";
  MenuTitleColor = "#ffffff";
}
