From a383eb858e0562f3c9532e66a3422fc0ecd805b3 Mon Sep 17 00:00:00 2001
From: Nikita Zlobin <nick87720z@gmail.com>
Date: Mon, 24 Jul 2023 03:18:03 +0500
Subject: [PATCH] Fix mm type in description

Signed-off-by: Dave Davenport <qball@gmpclient.org>
---
 doc/rofi-theme.5          | 2 +-
 doc/rofi-theme.5.markdown | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/rofi-theme.5 b/doc/rofi-theme.5
index 45fec34e..0c800092 100644
--- a/doc/rofi-theme.5
+++ b/doc/rofi-theme.5
@@ -865,7 +865,7 @@ Format: \fB\fC{Real}ch\fR
 .IP \(bu 2
 Format: \fB\fC{Real}%\fR
 .IP \(bu 2
-Format: \fB\fC{Integer}mm\fR
+Format: \fB\fC{Real}mm\fR
 
 .RE
 
diff --git a/doc/rofi-theme.5.markdown b/doc/rofi-theme.5.markdown
index 1a56cce2..eef8777f 100644
--- a/doc/rofi-theme.5.markdown
+++ b/doc/rofi-theme.5.markdown
@@ -575,7 +575,7 @@ It currently supports:
 - Format: `{Real}em`
 - Format: `{Real}ch`
 - Format: `{Real}%`
-- Format: `{Integer}mm`
+- Format: `{Real}mm`
 
 A distance can be specified in 3 different units: