--- a/src/eric7/Documentation/Source/eric7.Sessions.SessionFile.html	Thu Jan 04 17:16:15 2024 +0100
+++ b/src/eric7/Documentation/Source/eric7.Sessions.SessionFile.html	Thu Jan 04 18:02:25 2024 +0100
@@ -7,53 +7,50 @@
 <body>
 <a NAME="top" ID="top"></a>
 <h1>eric7.Sessions.SessionFile</h1>
-
 <p>
 Module implementing a class representing the session JSON file.
 </p>
+
 <h3>Global Attributes</h3>
-
 <table>
 <tr><td>None</td></tr>
 </table>
+
 <h3>Classes</h3>
-
 <table>
-
 <tr>
 <td><a href="#SessionFile">SessionFile</a></td>
 <td>Class representing the session JSON file.</td>
 </tr>
 </table>
+
 <h3>Functions</h3>
-
 <table>
 <tr><td>None</td></tr>
 </table>
+
 <hr />
 <hr />
 <a NAME="SessionFile" ID="SessionFile"></a>
 <h2>SessionFile</h2>
-
 <p>
     Class representing the session JSON file.
 </p>
+
 <h3>Derived from</h3>
 QObject
 <h3>Class Attributes</h3>
-
 <table>
 <tr><td>None</td></tr>
 </table>
+
 <h3>Class Methods</h3>
-
 <table>
 <tr><td>None</td></tr>
 </table>
+
 <h3>Methods</h3>
-
 <table>
-
 <tr>
 <td><a href="#SessionFile.__init__">SessionFile</a></td>
 <td>Constructor</td>
@@ -67,19 +64,20 @@
 <td>Public method to write the session data to a session JSON file.</td>
 </tr>
 </table>
+
 <h3>Static Methods</h3>
-
 <table>
 <tr><td>None</td></tr>
 </table>
 
+
 <a NAME="SessionFile.__init__" ID="SessionFile.__init__"></a>
 <h4>SessionFile (Constructor)</h4>
 <b>SessionFile</b>(<i>isGlobal: bool, parent: QObject = None</i>)
-
 <p>
         Constructor
 </p>
+
 <dl>
 
 <dt><i>isGlobal</i> (bool)</dt>
@@ -94,10 +92,10 @@
 <a NAME="SessionFile.readFile" ID="SessionFile.readFile"></a>
 <h4>SessionFile.readFile</h4>
 <b>readFile</b>(<i>filename: str</i>)
-
 <p>
         Public method to read the session data from a session JSON file.
 </p>
+
 <dl>
 
 <dt><i>filename</i> (str)</dt>
@@ -120,10 +118,10 @@
 <a NAME="SessionFile.writeFile" ID="SessionFile.writeFile"></a>
 <h4>SessionFile.writeFile</h4>
 <b>writeFile</b>(<i>filename: str</i>)
-
 <p>
         Public method to write the session data to a session JSON file.
 </p>
+
 <dl>
 
 <dt><i>filename</i> (str)</dt>
@@ -145,4 +143,4 @@
 </dl>
 <div align="right"><a href="#top">Up</a></div>
 <hr />
-</body></html>
\ No newline at end of file
+</body></html>