--- a/src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonWidget.html	Wed Dec 20 11:06:38 2023 +0100
+++ b/src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonWidget.html	Wed Dec 20 14:58:58 2023 +0100
@@ -774,7 +774,12 @@
 <dt>Return:</dt>
 <dd>
 flag indicating a micro:bit device
-        rtype bool
+</dd>
+</dl>
+<dl>
+<dt>Return Type:</dt>
+<dd>
+bool
 </dd>
 </dl>
 <a NAME="MicroPythonWidget.on_chartButton_clicked" ID="MicroPythonWidget.on_chartButton_clicked"></a>