{ ... }: {
  global.font = {
    sans.size = 10;
    monospace.size = 13;
  };
}