{
  FrameBorderColor = "#000000";
  FTitleColor = "#ffffff";
  MenuTitleBack = (tvgradient, core.png, 101, "#80c4fa", "#2b4872");
  MenuDisabledColor = "#243c54";
  IconTitleBack = "#476f9a";
  FTitleBack = (tvgradient, core.png, 101, "#80c4fa", "#2b4872");
  ClipTitleFont = "sans serif:slant=0:weight=200:width=100:pixelsize=10";
  ClipTitleColor = "#c9e0f5";
  WaitCursor = (bitmap, dot_wait.xbm, dot_wait_mask.xbm);
  FrameFocusedBorderColor = "#000000";
  IconTitleFont = "sans serif:slant=0:weight=200:width=100:pixelsize=10";
  HighlightColor = "#a7cded";
  WindowTitleFont = "sans serif:slant=0:weight=200:width=100:pixelsize=12";
  MenuTextBack = (dgradient, "#4f8bcb", "#294c85");
  LargeDisplayFont = "sans serif:slant=0:weight=100:width=100:pixelsize=24";
  ResizeCursor = (bitmap, dot_resize.xbm, dot_resize_mask.xbm);
  CClipTitleColor = "#99b7d0";
  MoveCursor = (bitmap, dot_move.xbm, dot_move_mask.xbm);
  MenuStyle = flat;
  ResizebarBack = (vgradient, "#1b2e51", "#689cc8");
  IconTitleColor = "#ffffff";
  TitleJustify = right;
  MenuTextColor = "#000000";
  MenuTextExtendSpace = "-1";
  PTitleBack = (tvgradient, uncore.png, 101, "#545d6d", "#131924");
  IconBack = (dgradient, "#64a4db", "#1d3256");
  MenuTitleColor = "#ffffff";
  UTitleColor = "#000000";
  MenuTitleFont = "sans serif:slant=0:weight=200:width=100:pixelsize=12";
  UTitleBack = (tvgradient, uncore.png, 101, "#91a2bc", "#3f5372");
  WindowTitleExtendSpace = "-1";
  NormalCursor = (builtin, left_ptr);
  PTitleColor = "#ffffff";
  MenuTitleExtendSpace = "-1";
  MenuTextFont = "sans serif:slant=0:weight=100:width=100:pixelsize=12";
  WorkspaceBack = (
    fpixmap,
    "resonation_of_the_abstract_core.png",
    gray20
  );
  FrameSelectedBorderColor = "#ffffff";
  HighlightTextColor = "#000000";
}
