From c5e9199ed83f8d7e2dd0f9f12b8fa411e17cd296 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20C=C3=A9bron?= <yann.cebron@jetbrains.com>
Date: Mon, 31 Aug 2020 12:33:30 +0200
Subject: [PATCH] themes_customize.md: fix Window.border sample (IJSDK-923)

---
 reference_guide/ui_themes/themes_customize.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/reference_guide/ui_themes/themes_customize.md b/reference_guide/ui_themes/themes_customize.md
index a4a903932..21fa8102a 100644
--- a/reference_guide/ui_themes/themes_customize.md
+++ b/reference_guide/ui_themes/themes_customize.md
@@ -258,7 +258,7 @@ The following example sets a new border width and color for all windows:
 ```json
 {
   "ui": {
-    "Window.border" : "4, 4, 4, 4, E6E6E6"
+    "Window.border" : "4,4,4,4,E6E6E6"
   }
 }
 ```