From 7cd05ad76bb549512d95545c5a8bbc7a0725fa1a Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 20 Jul 2021 09:50:57 +0530
Subject: [PATCH] ...

---
 docs/overview.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/overview.rst b/docs/overview.rst
index 529a59331..6de55b983 100644
--- a/docs/overview.rst
+++ b/docs/overview.rst
@@ -259,7 +259,7 @@ Shell integration
 kitty has the ability to integrate closely within common shells, such as `zsh
 <https://www.zsh.org/>`_ and `bash <https://www.gnu.org/software/bash/>`_ to enable
 features such as jumping to previous prompts in the scrollback, viewing the
-output of the last command in less, using the mouse to move the cursor
+output of the last command in :program:`less`, using the mouse to move the cursor
 while editing prompts, etc. See :doc:`shell-integration` for details.
 
 .. toctree::