From cca838b952225a387bcd714094dc9f9df4705780 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Fri, 9 May 2025 07:48:56 +0530
Subject: [PATCH] ...

---
 kitty/options/definition.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kitty/options/definition.py b/kitty/options/definition.py
index 585d39425..7ba13c0b8 100644
--- a/kitty/options/definition.py
+++ b/kitty/options/definition.py
@@ -4183,7 +4183,7 @@
 
     map kitty_mod+f6 change_font_size current 10.0
 
-To setup shortcuts to multiply/divide the font size:
+To setup shortcuts to multiply/divide the font size::
 
     map kitty_mod+f6 change_font_size all *2.0
     map kitty_mod+f6 change_font_size all /2.0