From 95ce75e6abf7ff59e6097a8701684ee6419614c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20C=C3=A9bron?= <yann.cebron@jetbrains.com>
Date: Wed, 28 Sep 2022 17:15:52 +0200
Subject: [PATCH] tool_windows.md: microformat

---
 topics/user_interface_components/tool_windows.md | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/topics/user_interface_components/tool_windows.md b/topics/user_interface_components/tool_windows.md
index 542d82822..71838ad03 100644
--- a/topics/user_interface_components/tool_windows.md
+++ b/topics/user_interface_components/tool_windows.md
@@ -2,9 +2,16 @@
 
 <!-- Copyright 2000-2022 JetBrains s.r.o. and other contributors. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. -->
 
+<microformat>
+
+**Product Help:** [Tool windows](https://www.jetbrains.com/help/idea/tool-windows.html)
+
+**Platform UI Guidelines:** [Tool window](https://jetbrains.design/intellij/components/tool_window/)
+
+</microformat>
+
 _Tool windows_ are child windows of the IDE used to display information.
 These windows generally have their own toolbars (referred to as _tool window bars_) along the outer edges of the main window containing one or more _tool window buttons_, which activate panels displayed on the left, bottom and right sides of the main IDE window.
-For detailed information about tool windows, please see [IntelliJ IDEA Web Help](https://www.jetbrains.com/idea/help/tool-windows.html) and [Tool window](https://jetbrains.design/intellij/components/tool_window/) topic in IntelliJ Platform UI Guidelines.
 
 Each side contains two tool window groups, the primary and the secondary one, and only one tool window from each group can be active at a time.