{
  window = {
    padding = {
      x = 5;
      y = 5;
    };

    decorations = "none";

    dynamic_title = true;

    gtk_theme_variant = "light";
  };

  scrolling = {
    history = 10000;

    multiplier = 3;
  };

  font =
    let
      family = "monospace";

      mkFont = style: { inherit family style; };
    in
    {
      normal = mkFont "Regular";
      bold = mkFont "Bold";
      italic = mkFont "Italic";
      bold_italic = mkFont "Bold Italic";

      size = 11.0;
    };
}